%0 Conference Paper %1 conf/fmcad/TothHVMM17 %A Tóth, Tamás %A Hajdu, Ákos %A Vörös, András %A Micskei, Zoltán %A Majzik, István %B FMCAD %D 2017 %E Stewart, Daryl %E Weissenbacher, Georg %I IEEE %K dblp %P 176-179 %T Theta: A framework for abstraction refinement-based model checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#TothHVMM17 %@ 978-0-9835678-7-5

@inproceedings{conf/fmcad/TothHVMM17, added-at = {2018-11-14T00:00:00.000+0100}, author = {Tóth, Tamás and Hajdu, Ákos and Vörös, András and Micskei, Zoltán and Majzik, István}, biburl = {https://www.bibsonomy.org/bibtex/2c9723227a7a0d31d4b8d78230851765d/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2017}, editor = {Stewart, Daryl and Weissenbacher, Georg}, ee = {https://www.wikidata.org/entity/Q57086286}, interhash = {88d43ac33dd68152c4442a5f6af2cb2e}, intrahash = {c9723227a7a0d31d4b8d78230851765d}, isbn = {978-0-9835678-7-5}, keywords = {dblp}, pages = {176-179}, publisher = {IEEE}, timestamp = {2018-11-15T16:59:30.000+0100}, title = {Theta: A framework for abstraction refinement-based model checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#TothHVMM17}, year = 2017 }