Treffer 1 - 4 von 4 für Suche 'Heljanko, Keijo', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    Unfoldings : a partial-order approach to model checking
    von Esparza, Javier
    Veröffentlicht 2008
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Inhaltstext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Progress in Certifying Hardware Model Checking Results
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    DARTAGNAN: Bounded Model Checking for Weak Memory Models (Competition Contribution)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Scalable Reference Genome Assembly from Compressed Pan-Genome Index with Spark
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: