Specification and compositional verification of real-time systems

J.J.M. Hooman

Onderzoeksoutput: Boek/rapportBoekAcademic

Originele taal-2Engels
Plaats van productieBerlin
UitgeverijSpringer
Aantal pagina's235
ISBN van geprinte versie3-540-54947-1, 0-387-54947-1
DOI's
StatusGepubliceerd - 1991

Publicatie series

NaamLecture notes in computer science
Volume558
ISSN van geprinte versie0302-9743

Citeer dit

Hooman, J. J. M. (1991). Specification and compositional verification of real-time systems. (Lecture notes in computer science; Vol. 558). Berlin: Springer. https://doi.org/10.1007/3-540-54947-1
Hooman, J.J.M. / Specification and compositional verification of real-time systems. Berlin : Springer, 1991. 235 blz. (Lecture notes in computer science).
@book{138f47cb7cfa4a2781cbc60fbe13c61b,
title = "Specification and compositional verification of real-time systems",
author = "J.J.M. Hooman",
year = "1991",
doi = "10.1007/3-540-54947-1",
language = "English",
isbn = "3-540-54947-1",
series = "Lecture notes in computer science",
publisher = "Springer",
address = "Germany",

}

Hooman, JJM 1991, Specification and compositional verification of real-time systems. Lecture notes in computer science, vol. 558, Springer, Berlin. https://doi.org/10.1007/3-540-54947-1

Specification and compositional verification of real-time systems. / Hooman, J.J.M.

Berlin : Springer, 1991. 235 blz. (Lecture notes in computer science; Vol. 558).

Onderzoeksoutput: Boek/rapportBoekAcademic

TY - BOOK

T1 - Specification and compositional verification of real-time systems

AU - Hooman, J.J.M.

PY - 1991

Y1 - 1991

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-46602-4

U2 - 10.1007/3-540-54947-1

DO - 10.1007/3-540-54947-1

M3 - Book

SN - 3-540-54947-1

SN - 0-387-54947-1

T3 - Lecture notes in computer science

BT - Specification and compositional verification of real-time systems

PB - Springer

CY - Berlin

ER -

Hooman JJM. Specification and compositional verification of real-time systems. Berlin: Springer, 1991. 235 blz. (Lecture notes in computer science). https://doi.org/10.1007/3-540-54947-1