Davide D'Aprile

	2010
4		Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116
	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	Daniele Theseider Dupré	[4]
4	Laura Giordano	[4]
5	Valentina Gliozzi	[4]
6	Alberto Martelli	[4]
7	Gian Luca Pozzato	[4]
8	Arnaud Sangnier	[3]
9	Jeremy Sproston	[1] [2] [3]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page