Up a level |
Number of items: 1.
Bose, Sougata, Henzinger, Thomas A, Lehtinen, Karoliina, Schewe, Sven ORCID: 0000-0002-9093-9518 and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2022)
History-Deterministic Timed Automata Are Not Determinizable.
.