Some decidable cases of the reachability problem for vector addition systems:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Pansiot, Jean-Jacques (VerfasserIn)
Format: Abschlussarbeit Mikrofilm Buch
Sprache:English
Veröffentlicht: 1976
Ausgabe:[Mikrofiche-Ausg.]
Schlagworte:
Beschreibung:V, 78 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!