Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers (bibtex)

Reference:

Dirk Pattinson, Lutz Schröder, eds.: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, Lecture Notes in Computer Science, vol. 7399, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32784-1.

Bibtex Entry:

@string{springer="Springer"}
@proceedings{PattinsonSchroder12,
  editor    = {Dirk Pattinson and
               Lutz Schr{\"o}der},
  title     = {Coalgebraic Methods in Computer Science - 11th International
               Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn,
               Estonia, March 31 - April 1, 2012, Revised Selected Papers},
  booktitle = {CMCS},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-32784-1">http://dx.doi.org/10.1007/978-3-642-32784-1</a>.},
  series    = {Lecture Notes in Computer Science},
  volume    = {7399},
  year      = {2012},
  isbn      = {978-3-642-32783-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-32784-1},
  doi       = {10.1007/978-3-642-32784-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}