Number of items: 1.
2023
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 Tue Apr 23 22:52:29 2024 BST.