Login / Signup

The reachability problem for VAS.

Horst Müller
Published in: European Workshop on Applications and Theory in Petri Nets (1984)
Keyphrases