Hardware model checking competition 2017

2017/01/01

Authors:

Published in: FMCAD pp 9

DOI: 10.23919/FMCAD.2017.8102233

Paper

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}
}