2005-sys.bib

@COMMENT{{This file has been generated by bib2bib 1.78}}

@COMMENT{{Command line: /usr/bin/bib2bib -ob 2005-sys.bib -c 'gvcat :"sys"' bibs/2005.bib}}

@ARTICLE{DGMM-FAC05,
  AUTHOR = {{D}e~{W}achter, Bram and Genon, Alexandre and 
Massart, Thierry and Meuter, C\'edric},
  TITLE = {The formal design of distributed controllers with dsl and spin.},
  JOURNAL = {Formal Aspects of Computing},
  YEAR = 2005,
  KEY = {},
  VOLUME = 17,
  NUMBER = 2,
  PAGES = {177-200},
  MONTH = {},
  GVCAT = {sys}
}

@INPROCEEDINGS{DWGM-LNCS-05,
  AUTHOR = {{D}e~{W}achter, Bram and Genon, Alexandre and 
Massart, Thierry },
  TITLE = {From static code distribution to more shrinkage for the 
multiterminal cut},
  BOOKTITLE = {Proceedings of WEA'05 -- 4th International Workshop on
Efficient and Experimental Algorithms},
  PAGES = {177--188},
  YEAR = 2005,
  VOLUME = 3503,
  SERIES = {Lecture Notes in Computer Sciences},
  PUBLISHER = {Springer Verlag},
  GVCAT = {sys}
}

This file has been generated by bibtex2html 1.78