BibTeX record conf/RelMiCS/GluckMS09

• > Home > conf/RelMiCS/GluckMS09

@inproceedings{DBLP:conf/RelMiCS/GluckMS09,
  author       = {Roland Gl{\"{u}}ck and
                  Bernhard M{\"{o}}ller and
                  Michel Sintzoff},
  editor       = {Rudolf Berghammer and
                  Ali Jaoua and
                  Bernhard M{\"{o}}ller},
  title        = {A Semiring Approach to Equivalences, Bisimulations and Control},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5827},
  pages        = {134--149},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04639-1\_10},
  doi          = {10.1007/978-3-642-04639-1\_10},
  timestamp    = {Sun, 02 Jun 2019 21:17:59 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/GluckMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}