zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
Suchergebnis
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = Hooman, Jozef J. M. und Sammlung = UB Paderborn
Specification and compositional verification of real time systems
Hooman, Jozef J. M.
Berlin [u.a.] : Springer, 1991