Original language | English |
---|---|
Title of host publication | Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989) |
Editors | E. Brinksma, G. Scollo, C.A. Vissers |
Place of Publication | Amsterdam |
Publisher | North-Holland Publishing Company |
Pages | 37-56 |
ISBN (Print) | 0-444-88343-6 |
Publication status | Published - 1990 |
Design and verification in real-time distributed computing : an introduction to compositional methods
J.J.M. Hooman, W.P. Roever, de
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
92
Downloads
(Pure)