Treffer 1 - 1 von 1 für Suche 'Strazny, Tim', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    An algorithmic framework for checking coverability in well-structured transition systems

    An algorithmic framework for checking coverability in well-structured transition systems von Strazny, Tim

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: