GluckMS09'

BibTeX

@inproceedings{DBLP:conf/RelMiCS/GluckMS09,
  author    = {Roland Gl{\"u}ck and
               Bernhard M{\"o}ller and
               Michel Sintzoff},
  title     = {A Semiring Approach to Equivalences, Bisimulations and Control},
  booktitle = {RelMiCS},
  year      = {2009},
  pages     = {134-149},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04639-1_10},
  crossref  = {DBLP:conf/RelMiCS/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/RelMiCS/2009,
  editor    = {Rudolf Berghammer and
               Ali Jaoua and
               Bernhard M{\"o}ller},
  title     = {Relations and Kleene Algebra in Computer Science, 11th International
               Conference on Relational Methods in Computer Science, RelMiCS
               2009, and 6th International Conference on Applications of
               Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009.
               Proceedings},
  booktitle = {RelMiCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5827},
  year      = {2009},
  isbn      = {978-3-642-04638-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04639-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}