Antti Valmari. A Stubborn Attack on State Explosion. Formal Methods in System Design, 1(4):297-322, 1992.
@article{Valmari92, title = {A Stubborn Attack on State Explosion}, author = {Antti Valmari}, year = {1992}, researchr = {https://researchr.org/publication/Valmari92}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {1}, number = {4}, pages = {297-322}, }