Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2016
Grigore, Radu and Tzevelekos, Nikos (2016) History-Register Automata. Logical Methods in Computer Science, 12 (1). pp. 1-32. ISSN 1860-5974. (Full text available) |