Full name Familienname, Vorname

Di Stefano, Luca

Main Affiliation Organisationszuordnung

E191-01 - Forschungsbereich Cyber-Physical Systems

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir	Attributed Point-to-Point Communication in R-CHECK	Inproceedings Konferenzbeitrag	2024
	2		Di Stefano, Luca ; Inverso, Omar	Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification	Inproceedings Konferenzbeitrag	2024