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 proceedingConference contributionAcademicpeer-review

34 Downloads (Pure)
Original languageEnglish
Title of host publicationProtocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989)
EditorsE. Brinksma, G. Scollo, C.A. Vissers
Place of PublicationAmsterdam
PublisherNorth-Holland Publishing Company
Pages37-56
ISBN (Print)0-444-88343-6
Publication statusPublished - 1990

Cite this