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