Marcello M. Bersani

	2009
1		Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms CoRR abs/0907.5074: (2009)

Coauthor Index

1	Carlo A. Furia	[1]
2	Matteo Pradella	[1]
3	Matteo Rossi	[1]