Login / Signup

Stubborn sets for reduced state space generation.

Antti Valmari
Published in: Applications and Theory of Petri Nets (1989)
Keyphrases