%0 Journal Article %1 journals/tse/StuartBMJ01 %A Stuart, Douglas A. %A Brockmeyer, Monica %A Mok, Aloysius K. %A Jahanian, Farnam %D 2001 %J IEEE Trans. Software Eng. %K VST4WSN formal model_checking simulations verification %N 7 %P 599-617 %T Simulation-Verification: Biting at the State Explosion Problem. %U http://dblp.uni-trier.de/db/journals/tse/tse27.html#StuartBMJ01 %V 27

@article{journals/tse/StuartBMJ01, added-at = {2010-04-20T15:10:48.000+0200}, author = {Stuart, Douglas A. and Brockmeyer, Monica and Mok, Aloysius K. and Jahanian, Farnam}, biburl = {https://www.bibsonomy.org/bibtex/2b2983e766566a35a5e16b92199a93c26/davef}, date = {2003-11-19}, description = {dblp}, ee = {http://www.computer.org/tse/ts2001/e0599abs.htm}, interhash = {93c90f95120b4951b8253054148601b4}, intrahash = {b2983e766566a35a5e16b92199a93c26}, journal = {IEEE Trans. Software Eng.}, keydf = {VST4WSN1}, keywords = {VST4WSN formal model_checking simulations verification}, number = 7, pages = {599-617}, priority = {1}, timestamp = {2010-04-20T15:10:48.000+0200}, title = {Simulation-Verification: Biting at the State Explosion Problem.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse27.html#StuartBMJ01}, volume = 27, year = 2001 }