%0 Journal Article %1 journals/igpl/GrocePY06 %A Groce, Alex %A Peled, Doron A. %A Yannakakis, Mihalis %D 2006 %J Logic Journal of the IGPL %K dblp %N 5 %P 729-744 %T Adaptive Model Checking. %U http://dblp.uni-trier.de/db/journals/igpl/igpl14.html#GrocePY06 %V 14

@article{journals/igpl/GrocePY06, added-at = {2016-02-12T00:00:00.000+0100}, author = {Groce, Alex and Peled, Doron A. and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/27dd00ad591b43e9cc7f7bb96675093a5/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzl007}, interhash = {a9a7a98a5438c28ca584541ebf7f33b5}, intrahash = {7dd00ad591b43e9cc7f7bb96675093a5}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 5, pages = {729-744}, timestamp = {2016-02-13T11:38:55.000+0100}, title = {Adaptive Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl14.html#GrocePY06}, volume = 14, year = 2006 }