19th International Conference on Quantitative Evaluation of Systems (QEST 2022)

View Statistics Email Alert RSS Feed

Description

Event name
19th International Conference on Quantitative Evaluation of Systems (QEST 2022)
 
Event type
Event for scientific audience
 
Start date
12-09-2022
End date
16-09-2022
 
Location
Warsaw
Country
Poland
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022