| |
In Proceedings of the 1st Symp. on Logic in Computer Science (1986)
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473.
|
| |
In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 449-458.
|
| |
Theoretical Computer Science (September 1997), pp. 187-214.
|
| |
Information and Computation In Special Issue: TIME 2005, Vol. 205, No. 1. (January 2007), pp. 99-123.
|
| |
Information and Computation, Vol. 198, No. 2. (1 May 2005), pp. 148-178.
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21.
|
| |
Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 212-226.
|
| |
Verification, Model Checking, and Abstract Interpretation In VMCAI, Vol. 3855 (2006), pp. 126-141.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In TACAS, Vol. 4963 (2008), pp. 33-47.
|
| |
In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207.
|
| |
|
| |
In Proceedings of the sixth International Conference on Computer-Aided Verification CAV, Vol. 818 (1994), pp. 351-363.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 5. (September 1994), pp. 1512-1542.
|
| |
International Journal on Software Tools for Technology Transfer, Vol. 9, No. 1. (February 2007), pp. 25-36.
|
| |
Formal Methods in System Design, Vol. 28, No. 1. (January 2006), pp. 57-84.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 4. (1 March 2000), pp. 382-393.
|
| |
Formal Approaches to Software Testing (2004), pp. 147-163.
|
| |
|
| |
Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 107-116.
|
| |
Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 729-744.
|
| |
In Formal Methods for Protocol Engineering and Distributed Systems, FORTE/{PSTV}, 1999, pp. 225-240.
|
| |
Formal Approaches to Software Testing (2005), pp. 110-124.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (2002), pp. 151-161.
|
| |
Model Checking Software (2003), pp. 624-624.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
In ICFEM '98: Proceedings of the Second IEEE International Conference on Formal Engineering Methods (1998)
|
| |
Computer and Information Sciences - ISCIS 2004 (2004), pp. 907-916.
|
| |
In International Symposium on Software Testing and Analysis 2004 (11-14 July 2004)
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 6. (November 2006), pp. 1-10.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525.
|
| |
Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
|
| |
In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362.
|
| |
Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
|
| |
SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48.
|
| |
Information and Computation, Vol. 205, No. 1. (January 2007), pp. 2-24.
|
| |
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.
|
| |
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.
|
| |
CONCUR 2003 - Concurrency Theory (2003), pp. 251-265.
|
| |
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.
|
| |
# ieeetc, Vol. C-35, No. # 8. (aug # 1986), pp. 677-691.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 147-158.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 281-292.
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
In In CAV’2006: Computer Aided Verification, LNCS 4144, Vol. 4144 (2006), pp. 532-546.
|
| |
|
Search
