@Inproceedings{EPTCS107.6,
  author    = {Fronc, {\L}ukasz},
  year      = {2013},
  title     = {Effective Marking Equivalence Checking in Systems with Dynamic Process Creation},
  editor    = {Atig, Mohamed Faouzi and Rezine, Ahmed},
  booktitle = {{\rm Proceedings 14th International Workshop on}
                Verification of Infinite-State Systems ,
               {\rm Paris, France, 27th August 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {107},
  publisher = {Open Publishing Association},
  pages     = {61-75},
  doi       = {10.4204/EPTCS.107.6},
}