%0 Conference Paper %1 conf/fsttcs/0001CHMS23 %A Chistikov, Dmitry %A Czerwinski, Wojciech %A Hofman, Piotr %A Mazowiecki, Filip %A Sinclair-Banks, Henry %B FSTTCS %D 2023 %E Bouyer, Patricia %E Srinivasan, Srikanth %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 16:1-16:18 %T Acyclic Petri and Workflow Nets with Resets. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2023.html#0001CHMS23 %V 284 %@ 978-3-95977-304-1

@inproceedings{conf/fsttcs/0001CHMS23, added-at = {2023-12-13T00:00:00.000+0100}, author = {Chistikov, Dmitry and Czerwinski, Wojciech and Hofman, Piotr and Mazowiecki, Filip and Sinclair-Banks, Henry}, biburl = {https://www.bibsonomy.org/bibtex/25409749a9842a4e373a0a4617f9eaae2/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2023}, editor = {Bouyer, Patricia and Srinivasan, Srikanth}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.16}, interhash = {6aa820364d3fe85fe4d5322bcc6c5e05}, intrahash = {5409749a9842a4e373a0a4617f9eaae2}, isbn = {978-3-95977-304-1}, keywords = {dblp}, pages = {16:1-16:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:46:16.000+0200}, title = {Acyclic Petri and Workflow Nets with Resets.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2023.html#0001CHMS23}, volume = 284, year = 2023 }