author- (2011)
- ECIS, page 1-12. University of St. Gallen, (2007)
- IEEE Trans. Software Eng. 19(1):56-69 (1993)
- Sci. Comput. Program. 20(1-2):113-140 (1993)
- Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science, page 375-404. Springer, (1994)
- World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 134-154. Springer, (1999)
- ECOOP Workshops, volume 1357 of Lecture Notes in Computer Science, page 195-199. Springer, (1997)
- Mathematical Studies of Information Processing, volume 75 of Lecture Notes in Computer Science, page 106-126. Springer, (1978)
- Formal Asp. Comput. 4(6):582-591 (1992)
- Distributed Computing 3(2):73-87 (1989)
- Distributed Computing 16(2-3):201-217 (2003)
- Distributed Computing 6(1):19-37 (1992)
- BMC Bioinformatics (2011)
- Nat Biotechnol 27(276):507-508 (2009)
- EURASIP J. Adv. Sig. Proc. (2008)
- Acta Inf. (1977)
- POPL, page 140-149. (1986)
- ICALP, volume 317 of Lecture Notes in Computer Science, page 52-66. Springer, (1988)
- ESWC, volume 5554 of Lecture Notes in Computer Science, page 851-856. Springer, (2009)
- report, STAN-CS-75-300. Comp. Sc. Department, Stanford University, (September 1975)
