par Brice, Léonard ;Bruss, F Thomas ;Majumdar, Anirban ;Raskin, Jean-François
Référence Principles of Verification: Cycling the Probabilistic Landscape, Springer, Vol. 15261, page (18-45)
Publication Publié, 2024-11-13
Référence Principles of Verification: Cycling the Probabilistic Landscape, Springer, Vol. 15261, page (18-45)
Publication Publié, 2024-11-13
Publication dans des actes
Titre: |
|
Auteur: | Brice, Léonard; Bruss, F Thomas; Majumdar, Anirban; Raskin, Jean-François |
Informations sur la publication: | Principles of Verification: Cycling the Probabilistic Landscape, Springer, Vol. 15261, page (18-45) |
Statut de publication: | Publié, 2024-11-13 |
series: | Lecture Notes in Computer Science |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Probabilités | |
Langue: | Anglais |