Formal Methods. FM 2021

Book title Buchtitel

ISBN

978-3-030-90870-6

Volume Band

13047

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

RIS EndNote Bibtex Send via email

		Preview	Authors / Editors	Title	Type	Issue Date
	1		Marcel Moosbrugger ; Ezio Bartocci ; Katoen, Joost-Pieter ; Laura Kovács	The Probabilistic Termination Tool Amber	Inproceedings Konferenzbeitrag	2021