Quintarelli, Elisa: Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)
ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50
Literaturverz. S. 129 - 134
Quelle: DNB Verlagsmeldungen
Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)
ISBN 978-3-540-24603-9
Lizenzpflichtig
Quelle: DNB
Materne, Stefan: MTMM
: ein System zur Verwaltung von Zeitverhältnissen / Stefan Materne. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 195 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 193)
ISBN 978-3-486-21959-3 / 3-486-21959-6 kart. : DM 52.00
Literaturverz. S. 187 - 190
Quelle: DNB
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
: first international conference ; proceedings / ICTL '94, Bonn, Germany, July 11 - 14, 1994. Dov M. Gabbay ; Hans Jürgen Ohlbach (ed.). - Berlin : Springer, 1994. - XI, 545 S. : graph. Darst.; 24 cm
ISBN 978-3-540-58241-0 / 3-540-58241-X kart. : DM 104.00
Literaturangaben
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
Hajnicz, Elzbieta: Time structures
: formal description and algorithmic representation / Elzbieta Hajnicz. - Berlin : Springer, 1996. - IX, 244 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1047 : Lecture notes in artificial intelligence)
ISBN 978-3-540-60941-4 / 3-540-60941-5 kart. : DM 62.00
Literaturverz. S. 233 - 244
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
