Conference Item

Goller, Stefan, Haase, Christoph, Lazic, Ranko and Totzke, Patrick (2016) A polynomial-time algorithm for reachability in branching VASS in dimension one. In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, Italy, 12-15 Jul 2016. Published in: Leibniz International Proceedings in Informatics (LIPIcs) ISBN 9783959770132. ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2016.105

Hofman, Piotr , Lasota, Slawomir , Lazic, Ranko, Leroux, Jerome , Schmitz, Sylvain and Totzke, Patrick (2016) Coverability trees for petri nets with unordered data. In: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Eindhoven, The Netherlands, 2-8 Apr 2016. Published in: Lecture Notes in Computer Science, 9634 pp. 445-461. ISBN 9783662496299. ISSN 0302-9743. doi:10.1007/978-3-662-49630-5_26