FM 2021: the 24th international symposium of Formal Methods

Event name

Event type

Event for scientific audience

Start date

20-11-2021

End date

25-11-2021

Country

China

Event format Veranstaltungsformat

On Site

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo	HyperProb: A Model Checker for Probabilistic Hyperproperties	Konferenzbeitrag Inproceedings	2021
	2		Marcel Moosbrugger ; Ezio Bartocci ; Katoen, Joost-Pieter ; Laura Kovács	The Probabilistic Termination Tool Amber	Inproceedings Konferenzbeitrag	2021