Login / Signup

On generation of state space for timed Petri nets.

Wlodzimierz M. Zuberek
Published in: ACM Conference on Computer Science (1988)
Keyphrases