BibTeX record conf/RelMiCS/HoareMSW09

• > Home > conf/RelMiCS/HoareMSW09

@inproceedings{DBLP:conf/RelMiCS/HoareMSW09,
  author       = {C. A. R. Hoare and
                  Bernhard M{\"{o}}ller and
                  Georg Struth and
                  Ian Wehrman},
  editor       = {Rudolf Berghammer and
                  Ali Jaoua and
                  Bernhard M{\"{o}}ller},
  title        = {Foundations of Concurrent Kleene Algebra},
  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        = {166--186},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04639-1\_12},
  doi          = {10.1007/978-3-642-04639-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HoareMSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}