Marco Zantoni

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Elisabetta De Maria, Angelo Montanari, Marco Zantoni
An automaton-based approach to the verification of timed workflow schemas. TIME (2006)
Elisabetta De Maria, Angelo Montanari, Marco Zantoni
Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops (2005)