C. Abbaneo

	2000
2		Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN 2000: 119-124
1		Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo: A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS 2000: 535-549

Coauthor Index

1	Arturo M. Amendola	[1] [2]
2	Stefania Gnesi	[1] [2]
3	Diego Latella	[1] [2]
4	Gabriele Lenzini	[1] [2]
5	P. Marmo	[1] [2]