P. Marmo

	2000
3		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
2		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
	1997
1		Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli: Experimental Evaluation of Computer-Based Railway Control Systems. FTCS 1997: 380-384

Coauthor Index

1	C. Abbaneo	[2] [3]
2	Arturo M. Amendola	[1] [2] [3]
3	Stefania Gnesi	[2] [3]
4	Leonardo Impagliazzo	[1]
5	Diego Latella	[2] [3]
6	Gabriele Lenzini	[2] [3]
7	Fabio Poli	[1]