Antti Valmari. A Stubborn Attack On State Explosion. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Volume 531 of Lecture Notes in Computer Science, pages 156-165, Springer, 1990.
@inproceedings{Valmari90, title = {A Stubborn Attack On State Explosion}, author = {Antti Valmari}, year = {1990}, researchr = {https://researchr.org/publication/Valmari90}, cites = {0}, citedby = {0}, pages = {156-165}, booktitle = {Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings}, editor = {Edmund M. Clarke and Robert P. Kurshan}, volume = {531}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54477-1}, }