Computer Aided Verification - 34th International Conference, CAV 2022

Book title Buchtitel

ISBN

978-3-031-13188-2

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian	Automated Expected Amortised Cost Analysis of Probabilistic Data Structures	Inproceedings Konferenzbeitrag	6-Aug-2022