Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}