Media type: Book; Thesis Title: Specifying message passing and time-critical systems with temporal logic Contributor: Koymans, Ronald L. [Author] imprint: Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 651 Extent: VIII, 164 S.; graph. Darst Language: English ISBN: 3540562834; 0387562834 RVK notation: SS 4800 : Lecture notes in computer science ST 120 : Grundlagen der Informatik Keywords: Verteiltes System > Echtzeitverarbeitung > Spezifikation > Temporale Logik Temporale Logik Origination: University thesis: Teilw. zugl.: Eindhoven, Univ., Diss., 1989 Footnote: Literaturverz. S. [151] - 161
Departmental Library DrePunct – stack Shelf-mark: 93 8 19742 001 Item ID: 10016033 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order