Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik. Theta: A framework for abstraction refinement-based model checking. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 176-179, IEEE, 2017. [doi]
@inproceedings{TothHVMM17, title = {Theta: A framework for abstraction refinement-based model checking}, author = {Tamás Tóth and Ákos Hajdu and András Vörös and Zoltán Micskei and István Majzik}, year = {2017}, doi = {10.23919/FMCAD.2017.8102257}, url = {https://doi.org/10.23919/FMCAD.2017.8102257}, researchr = {https://researchr.org/publication/TothHVMM17}, cites = {0}, citedby = {0}, pages = {176-179}, booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017}, editor = {Daryl Stewart and Georg Weissenbacher}, publisher = {IEEE}, isbn = {978-0-9835678-7-5}, }