@inproceedings{SGB+12,
title = {Integration of correct-by-construction BIP models into the MetroII design space exploration flow },
author = {Simalatsar, Alena and Guo, Liangpeng and Bozga, Marius and Passerone, Roberto},
year = {2012},
booktitle = {30th International IEEE Conference on Computer Design, ICCD 2012, Montreal, QC, Canada, September 30 - Oct. 3, 2012},
pages = {490-491},
publisher = {IEEE Computer Society},
team = {DCS, RSD},
}
