Specification and compositional verification of real-time systems

J.J.M. Hooman

Research output: Book/ReportBookAcademic

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages235
ISBN (Print)3-540-54947-1, 0-387-54947-1
DOIs
Publication statusPublished - 1991

Publication series

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

Cite this