%0 Conference Paper %1 conf/iccd/SimalatsarGBP12 %A Simalatsar, Alena %A Guo, Liangpeng %A Bozga, Marius %A Passerone, Roberto %B ICCD %D 2012 %I IEEE Computer Society %K dblp %P 490-491 %T Integration of correct-by-construction BIP models into the MetroII design space exploration flow. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2012.html#SimalatsarGBP12 %@ 978-1-4673-3051-0

@inproceedings{conf/iccd/SimalatsarGBP12, added-at = {2014-09-22T00:00:00.000+0200}, author = {Simalatsar, Alena and Guo, Liangpeng and Bozga, Marius and Passerone, Roberto}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21c124467c4dbf19b70e6c72be8b0ad24/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2012}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2012.6378688}, interhash = {1b0d8b7787e276840d0e7aeab181ec6d}, intrahash = {1c124467c4dbf19b70e6c72be8b0ad24}, isbn = {978-1-4673-3051-0}, keywords = {dblp}, pages = {490-491}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:08:17.000+0100}, title = {Integration of correct-by-construction BIP models into the MetroII design space exploration flow.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2012.html#SimalatsarGBP12}, year = 2012 }