CoffrinMSSH09'

BibTeX

@inproceedings{DBLP:conf/sede/CoffrinMSSH09,
  author    = {Carleton Coffrin and
               Laurent D. Michel and
               Alexander A. Shvartsman and
               Elaine L. Sonderegger and
               Pascal Van Hentenryck},
  title     = {Optimizing Network Deployment of Formally-Specified Distributed
               Systems},
  booktitle = {SEDE},
  year      = {2009},
  pages     = {230-237},
  crossref  = {DBLP:conf/sede/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sede/2009,
  title     = {18th International Conference on Software Engineering and
               Data Engineering (SEDE-2009), June 22-24, 2009, Imperial
               Palace Hotel Las Vegas, Las Vegas, Nevada, USA, Proceedings},
  booktitle = {SEDE},
  publisher = {ISCA},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}