|
Title
|
|
|
|
Continuous one-counter automata
|
|
|
Author
|
|
|
|
|
|
|
Language
|
|
|
|
English
|
|
|
Source (book)
|
|
|
|
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy
|
|
|
Publication
|
|
|
|
2021
|
|
|
ISBN
|
|
|
|
978-1-6654-4896-3
978-1-6654-4895-6
|
|
|
DOI
|
|
|
|
10.1109/LICS52264.2021.9470525
|
|
|
Volume/pages
|
|
|
|
p. 1-13
|
|
|
ISI
|
|
|
|
000947350400012
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|