Elisabetta De Maria
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2009 | ||
|---|---|---|
| 3 | Games on Strings with a Limited Order Relation. Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna. LFCS 2009, 164-179. Web SearchBibTeXDownload | |
| 2006 | ||
| 2 | An automaton-based approach to the verification of timed workflow schemas. Elisabetta De Maria, Angelo Montanari, Marco Zantoni. TIME 2006, 87-94. Web SearchBibTeXDownload | |
| 2005 | ||
| 1 | Checking Workflow Schemas with Time Constraints Using Timed Automata. Elisabetta De Maria, Angelo Montanari, Marco Zantoni. OTM Workshops 2005, 1-2. Web SearchBibTeXDownload | |
from DBLP and Google Scholar