Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2009
2. Lecture Notes in Computer Science;B. Acu,2006
3. Alur, R., et al.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
4. Lecture Notes in Computer Science;R. Alur,2001
5. Andrews, T., et al.: Business process execution language for web services, version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)