%0 Journal Article %1 Beyer+others/07/Software %A Beyer, Dirk %A Henzinger, Thomas A. %A Jhala, Ranjit %A Majumdar, Rupak %D 2007 %J STTT %K imported %N 5-6 %P 505-525 %T The software model checker Blast %V 9

@article{Beyer+others/07/Software, added-at = {2009-05-20T01:29:36.000+0200}, author = {Beyer, Dirk and Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/220e6a694215f4287f2baa462fb633d7a/sriram0339}, description = {First cut database}, interhash = {d7b3edb56003f27e7bdb28bad45d9cee}, intrahash = {20e6a694215f4287f2baa462fb633d7a}, journal = {STTT}, keywords = {imported}, number = {5-6}, pages = {505-525}, timestamp = {2009-05-20T01:29:38.000+0200}, title = {The software model checker Blast}, volume = 9, year = 2007 }