@inproceedings{Toth_2017,
    doi = {10.23919/fmcad.2017.8102257},
    url = {https://doi.org/10.23919%2Ffmcad.2017.8102257},
    year = {2017},
    month = {oct},
    publisher = {{IEEE}},
    author = {Tamas Toth and Akos Hajdu and Andras Vorcos and Zoltan Micskei and Istvan Majzik},
    title = {Theta: A framework for abstraction refinement-based model checking},
    booktitle = {2017 Formal Methods in Computer Aided Design ({FMCAD})}
}

@inproceedings{Toth_2017, doi = {10.23919/fmcad.2017.8102257}, url = {https://doi.org/10.23919%2Ffmcad.2017.8102257}, year = {2017}, month = {oct}, publisher = {{IEEE}}, author = {Tamas Toth and Akos Hajdu and Andras Vorcos and Zoltan Micskei and Istvan Majzik}, title = {Theta: A framework for abstraction refinement-based model checking}, booktitle = {2017 Formal Methods in Computer Aided Design ({FMCAD})} }