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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

92 Downloads (Pure)

Originele taal-2	Engels
Titel	Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989)
Redacteuren	E. Brinksma, G. Scollo, C.A. Vissers
Plaats van productie	Amsterdam
Uitgeverij	North-Holland Publishing Company
Pagina's	37-56
ISBN van geprinte versie	0-444-88343-6
Status	Gepubliceerd - 1990

Toegang tot document

publishers versionDefinitieve gepubliceerde versie, 8,23 MB

Citeer dit

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 (editors), Protocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989) (blz. 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). redacteur / E. Brinksma ; G. Scollo ; C.A. Vissers. Amsterdam : North-Holland Publishing Company, 1990. blz. 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 (uitgave), 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, blz. 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). uitgave / E. Brinksma; G. Scollo; C.A. Vissers. Amsterdam: North-Holland Publishing Company, 1990. blz. 37-56.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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, redacteurs, 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. blz. 37-56