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
;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
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 |



