@inproceedings{RefinementObservations,
  author    = {Roland Gl{\"{u}}ck},
  title     = {Two Observations in Dioid Based Model Refinement},
  booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  pages     = {235--247},
  year      = {2012},
  editor    = {Wolfram Kahl and
               Timothy G. Griffin},
  series    = {Lecture Notes in Computer Science},
  volume    = {7560},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-642-33314-9_16},
  doi       = {10.1007/978-3-642-33314-9_16},
}