Treffer 1 - 8 von 8 für Suche 'Strichman, Ofer', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    von Strichman, Ofer
    Veröffentlicht in Interfaces (-2017)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Decision procedures : an algorithmic point of view
    von Kröning, Daniel
    Veröffentlicht 2010
    Volltext
    Volltext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Decision procedures : an algorithmic point of view
    von Kroening, Daniel
    Veröffentlicht 2008
    Einführung/Vorwort
    Cover
    Kapitel 1
    Inhaltsverzeichnis
    Inhaltstext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Theory and applications of satisfiability testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings
    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Decision procedures : an algorithmic point of view
    von Kroening, Daniel
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Inhaltstext
    Full Text
    Cover
    Inhaltstext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Hardware and software: verification and testing : 13th International Haifa Verification Conference, HVC 2017 : Haifa, Israel, November 13-15, 2017 : proceedings
    Veröffentlicht 2017
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Model-Guided Synthesis for LTL over Finite Traces
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: