Blair, L.,
Jones, T. &
Reiff-Marganiec, S.,
2002,
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. Jacobs, B. & Rensink, A. (eds.). Boston:
Kluwer Academic PublishersResearch output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution