Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe. A BMC-based formulation for the scheduling problem of hardware systems. STTT, 7(2):102-117, 2005. [doi]
@article{CabodiKLNQW05,
title = {A BMC-based formulation for the scheduling problem of hardware systems},
author = {Gianpiero Cabodi and Alex Kondratyev and Luciano Lavagno and Sergio Nocco and Stefano Quer and Yosinori Watanabe},
year = {2005},
doi = {10.1007/s10009-004-0170-9},
url = {http://dx.doi.org/10.1007/s10009-004-0170-9},
tags = {rule-based},
researchr = {https://researchr.org/publication/CabodiKLNQW05},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {7},
number = {2},
pages = {102-117},
}