| |
| 2006 | ||
|---|---|---|
| 2 | EE | Elisabetta De Maria, Angelo Montanari, Marco Zantoni: An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94 |
| 2005 | ||
| 1 | EE | Elisabetta De Maria, Angelo Montanari, Marco Zantoni: Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2 |
| 1 | Elisabetta De Maria | [1] [2] |
| 2 | Angelo Montanari | [1] [2] |