Full name Familienname, Vorname

Henzinger, Thomas A.

Main Affiliation Organisationszuordnung

Institute of Science and Technology Austria, Austria

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra	Hypernode Automata	Inproceedings Konferenzbeitrag	7-Sep-2023
	2		Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra	Information-flow Interfaces	Inproceedings Konferenzbeitrag	29-Mar-2022