Projections of vector addition system reachability sets are semilinear
Projections of vector addition system reachability sets are semilinear1988
Details
- First published
- 1988
- OL Work ID
- OL4817326W
Subjects
Petri netsSet theorySymbolic and mathematical Logic