%0 Conference Paper %1 conf/fossacs/PrakashT23 %A Prakash, Aditya %A Thejaswini, K. S. %B FoSSaCS %D 2023 %E Kupferman, Orna %E Sobocinski, Pawel %I Springer %K dblp %P 218-239 %T On History-Deterministic One-Counter Nets. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#PrakashT23 %V 13992 %@ 978-3-031-30829-1

@inproceedings{conf/fossacs/PrakashT23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Prakash, Aditya and Thejaswini, K. S.}, biburl = {https://www.bibsonomy.org/bibtex/2a95dbf86f11bb49849f42d5f373de5b2/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2023}, editor = {Kupferman, Orna and Sobocinski, Pawel}, ee = {https://doi.org/10.1007/978-3-031-30829-1_11}, interhash = {4b52f3f0583f47e6127b38e0a34011ae}, intrahash = {a95dbf86f11bb49849f42d5f373de5b2}, isbn = {978-3-031-30829-1}, keywords = {dblp}, pages = {218-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {On History-Deterministic One-Counter Nets.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#PrakashT23}, volume = 13992, year = 2023 }