|
Search the dblp DataBase
Davide D'Aprile:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. [Citation Graph (0, 0)][DBLP] ACSD, 2006, pp:143-152 [Conf]
- Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
CSL Model Checking for the GreatSPN Tool. [Citation Graph (0, 0)][DBLP] ISCIS, 2004, pp:543-552 [Conf]
- Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
From Time Petri Nets to Timed Automata: An Untimed Approach. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:216-230 [Conf]
Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|