%0 Conference Paper %1 journals/entcs/OuimetL07 %A Ouimet, Martin %A Lundqvist, Kristina %B MBT %D 2007 %E Finkbeiner, Bernd %E Gurevich, Yuri %E Petrenko, Alexander K. %I Elsevier %K dblp %N 2 %P 85-97 %T Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. %U http://dblp.uni-trier.de/db/conf/mbt/mbt2007.html#OuimetL07 %V 190

@inproceedings{journals/entcs/OuimetL07, added-at = {2023-01-31T00:00:00.000+0100}, author = {Ouimet, Martin and Lundqvist, Kristina}, biburl = {https://www.bibsonomy.org/bibtex/28de6401887f068817e7c6a2229144da6/dblp}, booktitle = {MBT}, crossref = {conf/mbt/2007}, editor = {Finkbeiner, Bernd and Gurevich, Yuri and Petrenko, Alexander K.}, ee = {https://doi.org/10.1016/j.entcs.2007.08.008}, interhash = {c3ba6c075cfcad102a5880ade273bddc}, intrahash = {8de6401887f068817e7c6a2229144da6}, keywords = {dblp}, number = 2, pages = {85-97}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:28:56.000+0200}, title = {Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.}, url = {http://dblp.uni-trier.de/db/conf/mbt/mbt2007.html#OuimetL07}, volume = 190, year = 2007 }