- Software -- Practice and Experience 15(7):637-654 (1985)
- CoRR (2003)
- IEEE Trans. Software Eng. 30(6):353-354 (2004)
- IEEE Trans. Software Eng. 28(6):595-606 (2002)
- IEEE Trans. Software Eng. 29(6):567-571 (2003)
- IEEE Trans. Software Eng. 27(12):1134-1144 (2001)
- Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 309-315. Springer, (2007)
- ICA3PP 1, volume 7016 of Lecture Notes in Computer Science, page 14-26. Springer, (2011)
- J. Symb. Comput. 22(2):227-234 (1996)
- J. Symb. Comput. 26(2):151-171 (1998)
- IEEE Computer, Citeseer, (1997)
- Theor. Comput. Sci. 123(2):291-314 (1994)
- Inf. Sci. 106(3-4):277-292 (1998)
- SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 166-179. Springer, (2004)
- WADS, volume 3069 of Lecture Notes in Computer Science, page 25-50. Springer, (2003)
- FIDJI, volume 2952 of Lecture Notes in Computer Science, page 128-138. Springer, (2003)
- International Conference on Computational Science, volume 2660 of Lecture Notes in Computer Science, page 63-74. Springer, (2003)
- ACPC, volume 1127 of Lecture Notes in Computer Science, page 215-218. Springer, (1996)
- SCM, volume 1167 of Lecture Notes in Computer Science, page 49-66. Springer, (1996)
- SCM, volume 1167 of Lecture Notes in Computer Science, page 166-174. Springer, (1996)


author