par  Brice, Léonard  ;Bruss, F Thomas
;Bruss, F Thomas  ;Majumdar, Anirban
;Majumdar, Anirban  ;Raskin, Jean-François
;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
;Bruss, F Thomas  ;Majumdar, Anirban
;Majumdar, Anirban  ;Raskin, Jean-François
;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 | 



