%0 Conference Paper %1 conf/sede/CoffrinMSSH09 %A Coffrin, Carleton %A Michel, Laurent D. %A Shvartsman, Alexander A. %A Sonderegger, Elaine L. %A Hentenryck, Pascal Van %B SEDE %D 2009 %I ISCA %K dblp %P 230-237 %T Optimizing Network Deployment of Formally-Specified Distributed Systems. %U http://dblp.uni-trier.de/db/conf/sede/sede2009.html#CoffrinMSSH09

@inproceedings{conf/sede/CoffrinMSSH09, added-at = {2009-07-06T00:00:00.000+0200}, author = {Coffrin, Carleton and Michel, Laurent D. and Shvartsman, Alexander A. and Sonderegger, Elaine L. and Hentenryck, Pascal Van}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c9412226c6b9ce7e847ea7069ef95fa2/dblp}, booktitle = {SEDE}, crossref = {conf/sede/2009}, interhash = {bd9b3154c97a465cb7b1e2aad5473597}, intrahash = {c9412226c6b9ce7e847ea7069ef95fa2}, keywords = {dblp}, pages = {230-237}, publisher = {ISCA}, timestamp = {2016-02-02T14:26:14.000+0100}, title = {Optimizing Network Deployment of Formally-Specified Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/sede/sede2009.html#CoffrinMSSH09}, year = 2009 }