%0 Journal Article %1 journals/ijsi/VeanesBGS09 %A Veanes, Margus %A Bjørner, Nikolaj %A Gurevich, Yuri %A Schulte, Wolfram %D 2009 %J Int. J. Softw. Informatics %K %N 2-3 %P 149-170 %T Symbolic Bounded Model Checking of Abstract State Machines. %U http://dblp.uni-trier.de/db/journals/ijsi/ijsi3.html#VeanesBGS09 %V 3

@article{journals/ijsi/VeanesBGS09, added-at = {2023-12-14T16:10:29.000+0100}, author = {Veanes, Margus and Bjørner, Nikolaj and Gurevich, Yuri and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/2ad74a584a059957f070ee2f21cc16322/admin}, ee = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=149&flag=1}, interhash = {f47650d15b80c9debca245b66f904c71}, intrahash = {ad74a584a059957f070ee2f21cc16322}, journal = {Int. J. Softw. Informatics}, keywords = {}, number = {2-3}, pages = {149-170}, timestamp = {2023-12-14T16:10:29.000+0100}, title = {Symbolic Bounded Model Checking of Abstract State Machines.}, url = {http://dblp.uni-trier.de/db/journals/ijsi/ijsi3.html#VeanesBGS09}, volume = 3, year = 2009 }