Antti Valmari
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Stubborn sets for reduced state space generation
Antti Valmari (1991) · Advances in Petri Nets 1990 · Springer Berlin Heidelberg
A stubborn attack on state explosion
Antti Valmari (1990) · Springer Nature