33rd International Conference, CAV 2021

Event name

Event type

Event for scientific audience

Start date

20-07-2021

End date

23-07-2021

Country

United States

Event format Veranstaltungsformat

Online

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian	ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures	Konferenzbeitrag Inproceedings	2022