Simplified Coalgebraic Trace Equivalence (bibtex)
by Alexander Kurz, Stefan Milius, Dirk Pattinson and Lutz Schröder
Reference:
Alexander Kurz, Stefan Milius, Dirk Pattinson and Lutz Schröder: Simplified Coalgebraic Trace Equivalence, In Software, Services and Systems, Lect. Notes Comput. Sci., vol. 8950, pp. 75–90, Springer, 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-15545-6_8.
Bibtex Entry:
@inproceedings{kmps15,
  author = 	 {Alexander Kurz and Stefan Milius and Dirk Pattinson and Lutz Schr\"oder},
  title = 	 {Simplified Coalgebraic Trace Equivalence},
  volume =       {8950},
  pages =        {75--90},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2015},
  publisher =    {Springer},
  doi       =    {10.1007/978-3-319-15545-6_8},
  series =       {Lect. Notes Comput. Sci.},
  booktitle =    {Software, Services and Systems},
  url =          {http://arxiv.org/abs/1410.2463},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-15545-6_8">http://dx.doi.org/10.1007/978-3-319-15545-6_8</a>.},
 
}
Powered by bibtexbrowser