Book title Buchtitel
Formal Methods. FM 2021
 
ISBN
978-3-030-90870-6
 
Volume Band
13047
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Marcel Moosbrugger ; Ezio Bartocci ; Katoen, Joost-Pieter ; Laura Kovács The Probabilistic Termination Tool AmberInproceedings Konferenzbeitrag 2021