Koymans, Ronald L.: Specifying message passing and time critical systems with temporal logic
/ Ron Koymans. - Berlin : Springer, 1992. - VIII, 164 S.; 24 cm - (Lecture notes in computer science; Vol. 651)
ISBN 978-3-540-56283-2 / 3-540-56283-4 kart. : DM 46.00
Literaturverz. S. 151 - 161
Quelle: DNB
Temporal logic and state systems
/ Fred Kröger .... - Berlin : Springer, 2008. - Online-Ressource - (Texts in theoretical computer science)
ISBN 978-3-540-68635-4
Lizenzpflichtig
Quelle: DNB
Esparza, Javier: Unfoldings
: a partial order approach to model checking / Javier Esparza ; Keijo Heljanko. - Berlin : Springer, 2008. - XII, 169 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-77425-9 Pp. : EUR 58.80 (freier Pr.)
Literaturverz. S. 157 - 164
Quelle: DNB Verlagsmeldungen
Zustand und Ereignis
/ eingeleitet, übers. und hrsg. von Bertram Kienzle. - 1. Aufl. - Frankfurt am Main : Suhrkamp, 1994. - 471 S. - (Suhrkamp-Taschenbuch Wissenschaft; 1116)
ISBN 978-3-518-28716-3 / 3-518-28716-8 kart. : DM 29.80, sfr 30.80, 233.00
Quelle: DNB