@inproceedings{RS13fsfma,
  title = "An Improved Construction of Petri Net Unfoldings",
  author = "Rodríguez, César and Schwoon, Stefan",
  year = "2013",
  booktitle = "Proc.\ of the French-Singaporean Workshop on Formal Methods and Applications ({FSFMA'13})",
  editor = "Choppy, Christine and Sun, Jun",
  month = "jul",
  pages = "47--52",
  publisher = "Leibniz-Zentrum für Informatik",
  series = "OASICS",
  volume = "31",
  doi = "10.4230/OASIcs.FSFMA.2013.47",
}