Eintrag weiter verarbeiten
Projections of vector addition system reachability sets are semilinear
Gespeichert in:
Zeitschriftentitel: | Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , , |
In: | Theoretical Computer Science, 64, 1989, 3, S. 343-350 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |