Reachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)

Loading...
Thumbnail Image
Date
1982
Authors
Laucht, C. Matthias
Journal Title
Journal ISSN
Volume Title
Publisher