%0 Journal Article %1 journals/sttt/BeyerHJM07 %A Beyer, Dirk %A Henzinger, Thomas A. %A Jhala, Ranjit %A Majumdar, Rupak %D 2007 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 5-6 %P 505-525 %T The software model checker Blast. %U http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#BeyerHJM07 %V 9

@article{journals/sttt/BeyerHJM07, added-at = {2020-04-02T00:00:00.000+0200}, author = {Beyer, Dirk and Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/2ade9e492c411884e3b0f9fbe0ec8d11c/dblp}, ee = {https://www.wikidata.org/entity/Q56454323}, interhash = {d7b3edb56003f27e7bdb28bad45d9cee}, intrahash = {ade9e492c411884e3b0f9fbe0ec8d11c}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = {5-6}, pages = {505-525}, timestamp = {2020-04-03T11:54:41.000+0200}, title = {The software model checker Blast.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#BeyerHJM07}, volume = 9, year = 2007 }