An automaton-based approach to the verification of timed workflow schemas.

Elisabetta De Maria, Angelo Montanari, Marco Zantoni

Browse the full TIME paper archive.