@InProceedings{HLLLST16, author = {Piotr Hofman and S{\l}awomir Lasota and Ranko Lazic and Jerome Leroux and Sylvain Schmitz and Patrick Totzke}, title = {Coverability Trees for Petri Nets with Unordered Data}, booktitle = {Proc. FOSSACS'16}, year = 2016, volume = ?, pages = {}, series = {LNCS}, publisher = {Springer-Verlag} }