Design and verification in real-time distributed computing : an introduction to compositional methods

J.J.M. Hooman; W.P. Roever, de

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

123 Downloads (Pure)

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

Access to Document

publishers versionFinal published version, 8.23 MB

Cite this

Hooman, J. J. M., & Roever, de, W. P. (1990). Design and verification in real-time distributed computing : an introduction to compositional methods. In E. Brinksma, G. Scollo, & C. A. Vissers (Eds.), Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989) (pp. 37-56). North-Holland Publishing Company.

Hooman, J.J.M. ; Roever, de, W.P. / Design and verification in real-time distributed computing : an introduction to compositional methods. Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989). editor / E. Brinksma ; G. Scollo ; C.A. Vissers. Amsterdam : North-Holland Publishing Company, 1990. pp. 37-56

@inproceedings{9b8e8fb4adc24988a95d1dd1700bef1a,

title = "Design and verification in real-time distributed computing : an introduction to compositional methods",

author = "J.J.M. Hooman and \{Roever, de\}, W.P.",

year = "1990",

language = "English",

isbn = "0-444-88343-6",

pages = "37--56",

editor = "E. Brinksma and G. Scollo and C.A. Vissers",

booktitle = "Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989)",

publisher = "North-Holland Publishing Company",

address = "Netherlands",

}

Hooman, JJM & Roever, de, WP 1990, Design and verification in real-time distributed computing : an introduction to compositional methods. in E Brinksma, G Scollo & CA Vissers (eds), Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989). North-Holland Publishing Company, Amsterdam, pp. 37-56.

Design and verification in real-time distributed computing : an introduction to compositional methods. / Hooman, J.J.M.; Roever, de, W.P.
Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989). ed. / E. Brinksma; G. Scollo; C.A. Vissers. Amsterdam: North-Holland Publishing Company, 1990. p. 37-56.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Design and verification in real-time distributed computing : an introduction to compositional methods

AU - Hooman, J.J.M.

AU - Roever, de, W.P.

PY - 1990

Y1 - 1990

M3 - Conference contribution

SN - 0-444-88343-6

SP - 37

EP - 56

BT - Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989)

A2 - Brinksma, E.

A2 - Scollo, G.

A2 - Vissers, C.A.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

Hooman JJM, Roever, de WP. Design and verification in real-time distributed computing : an introduction to compositional methods. In Brinksma E, Scollo G, Vissers CA, editors, Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989). Amsterdam: North-Holland Publishing Company. 1990. p. 37-56