Principles of Verification: Cycling the Probabilistic Landscape

Book title Buchtitel
Principles of Verification: Cycling the Probabilistic Landscape
 
 
Publisher Verlag
Springer
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
15261
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Desharnais, Josée ; Lindner, Peter ; Sokolova, Ana A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake CaseBook Contribution Buchbeitrag 2025