Schmidt-SchaussNSS08'

BibTeX

@inproceedings{DBLP:conf/ifipTCS/Schmidt-SchaussNSS08,
  author    = {Manfred Schmidt-Schau{\ss} and
               Joachim Niehren and
               Jan Schwinghammer and
               David Sabel},
  title     = {Adequacy of Compositional Translations for Observational
               Semantics},
  booktitle = {IFIP TCS},
  year      = {2008},
  pages     = {521-535},
  ee        = {http://dx.doi.org/10.1007/978-0-387-09680-3_35},
  crossref  = {DBLP:conf/ifipTCS/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifipTCS/2008,
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"a}ki and
               Giancarlo Mauri and
               C.-H. Luke Ong},
  title     = {Fifth IFIP International Conference On Theoretical Computer
               Science - TCS 2008, IFIP 20th World Computer Congress, TC
               1, Foundations of Computer Science, September 7-10, 2008,
               Milano, Italy},
  booktitle = {IFIP TCS},
  publisher = {Springer},
  series    = {IFIP},
  volume    = {273},
  year      = {2008},
  isbn      = {978-0-387-09679-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}