Treffer 1 - 4 von 4 für Suche 'Grégoire, Jean-Charles', Suchdauer: 0,18s Treffer weiter einschränken
  1. 1
    von Gregoire, Jean-Charles
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    ˜Theœ SPIN verification system : the second workshop on the SPIN Verification System ; proceedings of a DIMACS workshop, August 5, 1996
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996
    Veröffentlicht 1997
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: