par Busatto-Gaston, Damien
;Chakraborty, Debraj
;Guha, Shibashis
;Perez, Guillermo A.
;Raskin, Jean-François 
Référence International Conference on Quantitative Evaluation of Systems
Publication Publié, s.d.
;Chakraborty, Debraj
;Guha, Shibashis
;Perez, Guillermo A.
;Raskin, Jean-François 
Référence International Conference on Quantitative Evaluation of Systems
Publication Publié, s.d.
Publication dans des actes
| Titre: |
|
| Auteur: | Busatto-Gaston, Damien; Chakraborty, Debraj; Guha, Shibashis; Perez, Guillermo A.; Raskin, Jean-François |
| Informations sur la publication: | International Conference on Quantitative Evaluation of Systems |
| Statut de publication: | Publié, s.d. |
| Sujet CREF: | Informatique mathématique |
| Informatique générale | |
| Langue: | Anglais |
| Identificateurs: | info:doi/10.1007/978-3-030-85172-9_13 |
| info:scp/85115156481 |



