Search results for: M. Massink
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 1-33
Lecture Notes in Computer Science > Interactive Systems: Design, Specification, and Verification > Temporal and Stochastic Issues > 144-163
Formal Aspects of Computing > 2012 > 24 > 2 > 267-302
Universal Access in the Information Society > 2002 > 1 > 4 > 235-236
Universal Access in the Information Society > 2002 > 1 > 4 > 237-251
Electronic Notes in Theoretical Computer Science > 2001 > 43 > Complete > 75-96
Formal Methods in System Design > 2001 > 19 > 2 > 143-164
Formal Aspects of Computing > 1998 > 10 > 5-6 > 550-575
Formal Aspects of Computing > 1998 > 10 > 4 > 405-434