Manlio Migliorati

	1996
2		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
1		Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 881-888

Coauthor Index

1	Emanuele Ciapessoni	[1] [2]
2	Edoardo Corsetti	[1] [2]
3	Ernani Crivelli	[2]
4	Elena Ratto	[1] [2]