Suchergebnis

zu den Filteroptionen

Suche nach: Autor / Beteiligte = Pedersen, Gert Kjaergård und Sammlung = ULB Düsseldorf

Specification and compositional verification of real time systems
Hooman, Jozef J. M.
Berlin [u.a.] : Springer, 1991