%0 Journal Article %1 journals/sttt/BeyerHJM07 %A Beyer, Dirk %A Henzinger, Thomas A. %A Jhala, Ranjit %A Majumdar, Rupak %D 2007 %J STTT %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 = {2018-11-14T00:00:00.000+0100}, author = {Beyer, Dirk and Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27ae45b9aaf3714ed8509384608d2a6dc/dblp}, ee = {https://www.wikidata.org/entity/Q56454323}, interhash = {d7b3edb56003f27e7bdb28bad45d9cee}, intrahash = {7ae45b9aaf3714ed8509384608d2a6dc}, journal = {STTT}, keywords = {dblp}, number = {5-6}, pages = {505-525}, timestamp = {2019-09-27T08:37:54.000+0200}, title = {The software model checker Blast.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#BeyerHJM07}, volume = 9, year = 2007 }