Compositional State Space Generation (1993)

by A Valmari
Venue:In Advances in Petri Nets, LNCS 674