Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filtered (21)
Filters
Type
Show (21)
Cancel
Filtered (21)
Filters
Year
Show (21)
Cancel

History-deterministic Timed Automata.

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke.

History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.

Zulip

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

© Copyright 2024 • Made with by Envious Digital

Go to Top