%0 Conference Paper %1 conf/fossacs/HofmanLLLST16 %A Hofman, Piotr %A Lasota, Slawomir %A Lazic, Ranko %A Leroux, Jérôme %A Schmitz, Sylvain %A Totzke, Patrick %B FoSSaCS %D 2016 %E Jacobs, Bart %E Löding, Christof %I Springer %K %P 445-461 %T Coverability Trees for Petri Nets with Unordered Data. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#HofmanLLLST16 %V 9634 %@ 978-3-662-49629-9

@inproceedings{conf/fossacs/HofmanLLLST16, added-at = {2023-12-13T06:58:10.000+0100}, author = {Hofman, Piotr and Lasota, Slawomir and Lazic, Ranko and Leroux, Jérôme and Schmitz, Sylvain and Totzke, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/25b09d2cbb6dd97d1f194241af91b4ed6/admin}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2016}, editor = {Jacobs, Bart and Löding, Christof}, ee = {https://doi.org/10.1007/978-3-662-49630-5_26}, interhash = {b3d4a23c4f55f812341410e43ba682c0}, intrahash = {5b09d2cbb6dd97d1f194241af91b4ed6}, isbn = {978-3-662-49629-9}, keywords = {}, pages = {445-461}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:58:10.000+0100}, title = {Coverability Trees for Petri Nets with Unordered Data.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#HofmanLLLST16}, volume = 9634, year = 2016 }