Specification and compositional verification of real-time systems

J.J.M. Hooman

Research output: Book/ReportBookAcademic

LanguageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages235
ISBN (Print)3-540-54947-1, 0-387-54947-1
DOIs
StatePublished - 1991

Publication series

NameLecture notes in computer science
Volume558
ISSN (Print)0302-9743

Cite this

Hooman, J. J. M. (1991). Specification and compositional verification of real-time systems. (Lecture notes in computer science; Vol. 558). Berlin: Springer. DOI: 10.1007/3-540-54947-1
Hooman, J.J.M./ Specification and compositional verification of real-time systems. Berlin : Springer, 1991. 235 p. (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. DOI: 10.1007/3-540-54947-1

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

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

Research output: Book/ReportBookAcademic

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 p. (Lecture notes in computer science). Available from, DOI: 10.1007/3-540-54947-1