Principles of Verification: Cycling the Probabilistic Landscape

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Publications Publikationen

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura Polar: An Algebraic Analyzer for (Probabilistic) LoopsBook Contribution Buchbeitrag 2025
2Bartocci, Ezio ; Desharnais, Josée ; Lindner, Peter ; Sokolova, Ana A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake CaseBook Contribution Buchbeitrag 2025

 
OSZAR »