César Rodríguez, Stefan Schwoon. An Improved Construction of Petri Net Unfoldings. In Christine Choppy, Jun Sun 0001, editors, 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. Volume 31 of OASICS, pages 47-52, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.