Quantitative Evaluation of Systems

Book title Buchtitel

ISBN

978-3-031-16335-7

Editor Herausgeber_in

Ábrahám, Erika
Paolieri, Marco

Publisher Herausgeber

Springer-Verlag

Place of publishing Erscheinungsort

Berlin, Heidelberg

DOI

10.1007/978-3-031-16336-4

Volume Band

13479

Filter:

Subject: Non-linear updates

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia	Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments	Inproceedings Konferenzbeitrag	2022