| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1811-1841.
|
| |
In Proceedings of Computer Aided Verification (1997)
|
| |
CMU/SEI-2004-TR-018 (2004)
|
| |
Formal Methods in System Design: An International Journal, Vol. 15, No. 1. (July 1999), pp. 7-48.
|
| |
In Symposium on Theoretical Aspects of Computer Science (1993), pp. 586-594.
|
| |
In First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Special Session on Security and Concurrency, 20th-21st July, Cork, Ireland 2000. Electronic Notes in Computer Science, Vol. 40 (Dec 2001)
|
| |
In Symp. on Principles Of Programming Languages (POPL) (2005)
|
| |
In Tools and Algorithms for Construction and Analysis of Systems (2002), pp. 357-370.
|
| |
No. 2003-039. (August 2003)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Integrated Formal Methods, Vol. 2999 (2004), pp. 128-147.
|
| |
Formal Methods in System Design, Vol. 25, No. 2--3. (2004)
|
| |
In Proceedings of Computer Aided Verification (CAV) (2005)
|
| |
In Lecture Notes in Computer Science, Vol. 2028 (2001)
|
| |
In Proceedings of SoftMC 03 (2003)
|
| |
|
| |
|
| |
In Computer Aided Verification (2000), pp. 154-169.
|
| |
In Proceedings of the 12th Conf. of POPL (1985)
|
| |
In Proceedings of the 1st Symp. on Logic in Computer Science (1986)
|
| |
In proceedings of {Fifth Intern. Symposium on Programming} (1981), pp. 337-350.
|
| |
toplas, Vol. 8, No. 2. (1986), pp. 244-263.
|
| |
Lecture Notes in Computer Science, Vol. 131 (1981)
|
| |
Lecture Notes in Computer Science, Vol. 1420 (1998), pp. 365-383.
|
| |
In Proceedings of the 14th International Conference on Computer-Aided Verification (2002), pp. 428-441.
|
| |
In ECOOP 2004 --- Object-Oriented Programming, 18th European Conference (2004)
|
| |
In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (2001)
|
| |
In Proceedings of the ASE (2002)
|
| |
In 2nd Workshop on Specification and Verification of Component-Based Systems, ESEC/FSE 2003
|
| |
In Tools and Algorithms for Construction and Analysis of Systems, Vol. 2619 (2003)
|
| |
In {I}nformation and {C}omputation, Vol. 103(2) (1993), pp. 299-347.
|
| |
In 3rd {W}orkshop on {S}pec. and {V}er. of {C}omponent-based {S}ystems, ESEC/FSE (2004)
|
| |
In {I}nformation and {C}omputation, Vol. 75(2) (1987), pp. 87-106.
|
| |
In Logics and Models of Concurrent Systems (1985), pp. 123-144.
|
Search
