Thomas Henzinger

Henzinger in 2016 Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Thomas A. Henzinger', query time: 0.01s Refine Results
  1. 1
    History-deterministic Timed Automata

    History-deterministic Timed Automata by Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

    Published 2024-10-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: