Treffer 1 - 8 von 8 für Suche 'Dams, Dennis', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Abstract interpretation and partition refinement for model checking
    von Dams, Dennis René
    Veröffentlicht 1996
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Verlagsangaben
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Python Library for Trace Analysis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Runtime Verification as Documentation
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    FM 2009: formal methods : second world congress, Eindhoven, The Netherlands, November 2-6, 2009 ; proceedings
    Veröffentlicht 2009
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 ; Toulouse, France, September 21 and 24, 1999 ; proceedings
    Veröffentlicht 1999
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Theoretical and practical aspects of SPIN model checking : proceedings
    Veröffentlicht 1999
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Theoretical and practical aspects of SPIN model checking : proceedings
    Veröffentlicht 1999
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: