Simplified Coalgebraic Trace Equivalence (bibtex)
by Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
Reference:
Simplified Coalgebraic Trace Equivalence (Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder), In Software, Services and Systems, 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