@Inproceedings{EPTCS86.2,
  author    = {Markovski, J.},
  year      = {2012},
  title     = {Scalable Minimization Algorithm for Partial Bisimulation},
  editor    = {Andr\'es, C\'esar and Llana, Luis },
  booktitle = {{\rm Proceedings 2nd Workshop on}
               Formal Methods in the Development of Software ,
               {\rm Paris, France, August 28, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {86},
  publisher = {Open Publishing Association},
  pages     = {9-16},
  doi       = {10.4204/EPTCS.86.2},
}