| |
Logic in Computer Science, 2006 21st Annual IEEE Symposium on In Logic in Computer Science, 2006 21st Annual IEEE Symposium on (2006), pp. 17-26.
|
| |
Information and Computation, Vol. 205, No. 1. (January 2007), pp. 2-24.
|
| |
|
| |
CONCUR 2003 - Concurrency Theory (2003), pp. 251-265.
|
| |
Theoretical Computer Science In Concurrency Theory (CONCUR 2004), Vol. 358, No. 2-3. (7 August 2006), pp. 273-292.
|
| |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (2004), pp. 152-166.
|
| |
Real-Time Syst., Vol. 2, No. 4. (November 1990), pp. 255-299.
|
| |
Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on In Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on (2007), pp. 109-120.
|
| |
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 188-197.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 70-79.
|
| |
Theoretical Computer Science In Hybrid Systems, Vol. 138, No. 1. (6 February 1995), pp. 169-199.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), Vol. 113 (3 January 2005), pp. 3-21.
|
| |
Information and Computation, Vol. 198, No. 2. (1 May 2005), pp. 148-178.
|
| |
Information and Computation In Special Issue: TIME 2005, Vol. 205, No. 1. (January 2007), pp. 99-123.
|
| |
Information and Computation, Vol. 205, No. 5. (May 2007), pp. 707-715.
|
| |
Theoretical Computer Science (September 1997), pp. 187-214.
|
| |
Theoretical Computer Science (July 1998), pp. 55-125.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), Vol. 113 (3 January 2005), pp. 145-162.
|
| |
Artificial Intelligence, Vol. 172, No. 8-9. (May 2008), pp. 1045-1063.
|
| |
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 31-61.
|
| |
CONCUR '96: Concurrency Theory (1996), pp. 563-578.
|
| |
In Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification (2000), pp. 323-330.
|
| |
|
CiteULike
fheintz's CiteULike
Search
Export
