Authors:
- Armin Biere
- Tom van Dijk
- Keijo Heljanko
Published in: FMCAD pp 9
DOI: 10.23919/FMCAD.2017.8102233
BibTeX entry:
@inproceedings{BiereDH17,
author = {Armin Biere and Tom van Dijk and Keijo Heljanko},
booktitle = {FMCAD},
doi = {10.23919/FMCAD.2017.8102233},
pages = {9},
publisher = {IEEE},
title = {Hardware model checking competition 2017},
year = {2017}
}