Treffer 1 - 7 von 7 für Suche 'Bos̆nac̆ki, Dragan', Suchdauer: 0,23s Treffer weiter einschränken
  1. 1
    Veröffentlicht 2016
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Model checking software : proceedings
    Veröffentlicht 2002
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Model checking software : proceedings
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002 ; proceedings
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007 ; proceedings
    Veröffentlicht 2007
    Cover
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Model checking software : 23rd international symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Veröffentlicht 2016
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: