![](/img/cover-not-exists.png)
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratiev, Luciano Lavagno, Yosinori WatanabeVolume:
89
Year:
2003
Language:
english
Pages:
16
DOI:
10.1016/s1571-0661(05)82547-2
File:
PDF, 355 KB
english, 2003