%0 Journal Article %1 journals/fmsd/Valmari92 %A Valmari, Antti %D 1992 %J Formal Methods Syst. Des. %K dblp %N 4 %P 297-322 %T A Stubborn Attack on State Explosion. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd1.html#Valmari92 %V 1

@article{journals/fmsd/Valmari92, added-at = {2020-03-13T00:00:00.000+0100}, author = {Valmari, Antti}, biburl = {https://www.bibsonomy.org/bibtex/29ddb930458ee24ba26fba9ea26907c16/dblp}, ee = {https://doi.org/10.1007/BF00709154}, interhash = {989d55b3e0ce3005f71a2c0735e2a10f}, intrahash = {9ddb930458ee24ba26fba9ea26907c16}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 4, pages = {297-322}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {A Stubborn Attack on State Explosion.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd1.html#Valmari92}, volume = 1, year = 1992 }