Full name Familienname, Vorname

Beutner, Raven

Main Affiliation Organisationszuordnung

Helmholtz Center for Information Security, Germany

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Beutner, Raven ; Finkbeiner, Bernd	On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information	Inproceedings Konferenzbeitrag	2025