Edoardo Corsetti

	1996
5		Oliver Botti, M. Cesana, Edoardo Corsetti, P. Coslett, J. Hammond, F. Maestri, R. Meda, Elena Ratto, G. L. Redaelli, Alan Tully: SImulation of High-Voltage Substations on Parallel ARchitectures. HPCN Europe 1996: 935-937
4		Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli: Specifying Industrial Real-Time Systems with a Temporal Logic Framework. International Journal of Software Engineering and Knowledge Engineering 6(1): 21-61 (1996)
	1993
3		Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 881-888
2		Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro: Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Sci. Comput. Program. 20(1-2): 141-171 (1993)
	1991
1		Edoardo Corsetti, Angelo Montanari, Elena Ratto: Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real-Time Systems 3(2): 191-215 (1991)

Coauthor Index

1	Oliver Botti	[5]
2	M. Cesana	[5]
3	Emanuele Ciapessoni	[2] [3] [4]
4	P. Coslett	[5]
5	Ernani Crivelli	[4]
6	J. Hammond	[5]
7	F. Maestri	[5]
8	R. Meda	[5]
9	Manlio Migliorati	[3] [4]
10	Angelo Montanari	[1] [2]
11	Pierluigi San Pietro	[2]
12	Elena Ratto	[1] [3] [4] [5]
13	G. L. Redaelli	[5]
14	Alan Tully	[5]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page