Fernando Torielli

	1998
2		Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP 1998: 284-295
1		Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput. 10(4): 361-380 (1998)

Coauthor Index

1	Alessandro Cimatti	[1] [2]
2	Fausto Giunchiglia	[1] [2]
3	Giorgio Mongardi	[1] [2]
4	Dario Romano	[1] [2]
5	Paolo Traverso	[1] [2]