Elisabetta De Maria, Angelo Montanari, Marco Zantoni. An automaton-based approach to the verification of timed workflow schemas. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. pages 87-94, IEEE Computer Society, 2006. [doi]
Abstract is missing.