Kein Cover

Survey on Directed Model Checking

Edelkamp, Stefan ; Schuppan, Viktor ; Bošnački, Dragan ; Wijs, Anton ; Fehnker, Ansgar ; Aljazzar, Husain 2010 Bibliothek der Universität Konstanz

Link zu diesem Datensatz
https://d-nb.info/1104943050
Titel
Survey on Directed Model Checking
Art des Inhalts
Monographie
Verfassangaben
Stefan Edelkamp ; Viktor Schuppan ; Dragan Bošnački ; Anton Wijs ; Ansgar Fehnker ; Husain Aljazzar
Autor(en)
  • Edelkamp, Stefan
  • Schuppan, Viktor
  • Bošnački, Dragan
  • Wijs, Anton
  • Fehnker, Ansgar
  • Aljazzar, Husain
Verlag
Konstanz : Bibliothek der Universität Konstanz [2010]
Jahr
Erscheinungsdatum: 2010
Umfang/Format
Online-Ressource
Online
https://nbn-resolving.org/urn:nbn:de:bsz:352-opus-105044
Sprache
eng
Anmerkungen
In: Model Checking and Artificial Intelligence / Peled, Doron A.; Wooldridge, Michael J. (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - (Lecture Notes in Computer Science). - S. 65-89. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-642-00430-8
Stand
02.12.2025 13:00
Im Katalog seit
06.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite