Go home now Header Background Image
Submission Procedure
share: |
Follow us

Stephan Merz
Institut für Informatik, Universität München, Germany

D. Cansell, D. Mery, S. Merz:
Diagram Refinements for the Design of Reactive Systems
page 159 - 174
Vol.7 / Issue 2
D. Méry, S. Merz:
Specification and Refinement of Access Control
page 1073 - 1093
Vol.13 / Issue 8