%0 Journal Article %1 journals/fmsd/KristensenSV06 %A Kristensen, Lars Michael %A Schmidt, Karsten %A Valmari, Antti %D 2006 %J Formal Methods Syst. Des. %K dblp %N 3 %P 215-251 %T Question-guided stubborn set methods for state properties. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd29.html#KristensenSV06 %V 29

@article{journals/fmsd/KristensenSV06, added-at = {2020-03-13T00:00:00.000+0100}, author = {Kristensen, Lars Michael and Schmidt, Karsten and Valmari, Antti}, biburl = {https://www.bibsonomy.org/bibtex/29dc733c1e4ce981e62991fb3b396279e/dblp}, ee = {https://doi.org/10.1007/s10703-006-0006-1}, interhash = {fc1cd22026c1c4ca382495b22f6ddf68}, intrahash = {9dc733c1e4ce981e62991fb3b396279e}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {215-251}, timestamp = {2020-03-14T11:51:41.000+0100}, title = {Question-guided stubborn set methods for state properties.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd29.html#KristensenSV06}, volume = 29, year = 2006 }