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] |