Zuleger, Florian

Full name Familienname, Vorname

Zuleger, Florian

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Filter:

Subject: Abstraction

Results 1-1 of 1 (Search time: 0.003 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Stoilkovska, Ilina	Modeling and verification of synchronous fault-tolerant distributed algorithms	Thesis Hochschulschrift	2021