Number of items: 1.
Prakash, Aditya and Thejaswini, K. S.
(2023)
On history-deterministic one-counter nets.
In: 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'23), ETAPS 2023, Paris, France, 22-27 Apr 2023. Published in: Foundations of Software Science and Computation Structures. FoSSaCS 2023
(13992).
ISBN 9783031308284.
doi:10.1007/978-3-031-30829-1_11
This list was generated on Fri May 3 17:59:41 2024 BST.