A BMC-based formulation for the scheduli
โ
Gianpiero Cabodi; Alex Kondratyev; Luciano Lavagno; Sergio Nocco; Stefano Quer;
๐
Article
๐
2005
๐
Springer
๐
English
โ 533 KB