search result

Cover von Specification and verification of polling real-time systems
Author: Dierks, Henning Search for this author
Year: 2000
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/2000
Media group: DISSERTATION
Cover von Verifikation von STATEMATE Designs
Author: Brockmeyer, Udo Search for this author
Year: 1999
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 16/99
Media group: DISSERTATION
OPEN V 11.1.0.0