Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution
Publication date | 2002 |
---|---|
Host publication | 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 |
Editors | Bart Jacobs, Arend Rensink |
Place of Publication | Boston |
Publisher | Kluwer Academic Publishers |
ISBN (print) | 9780792376835 |
<mark>Original language</mark> | English |