Davide D'Aprile

	2007
3		Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230
	2006
2		Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152
	2004
1		Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552

Coauthor Index

1	Davide Cerotti	[2]
2	Susanna Donatelli	[1] [2] [3]
3	Arnaud Sangnier	[3]
4	Jeremy Sproston	[1] [2] [3]