Cristian Mattarei

	2011
2		Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta: Symbolic Model Checking and Safety Assessment of Altarica models. ECEASST 46: (2011)
	2009
1		Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta: Supporting Requirements Validation: The EuRailCheck Tool. ASE 2009: 665-667

Coauthor Index

1	Marco Bozzano	[2]
2	Roberto Cavada	[1]
3	Alessandro Cimatti	[1] [2]
4	Oleg Lisagor	[2]
5	Alessandro Mariotti	[1]
6	Andrea Micheli	[1]
7	Sergio Mover	[1] [2]
8	Marco Pensallorto	[1]
9	Marco Roveri	[1] [2]
10	Angelo Susi	[1]
11	Stefano Tonetta	[1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page