Communication Dans Un Congrès
Année : 2021
Matteo Mio : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03451353
Soumis le : vendredi 26 novembre 2021-13:59:55
Dernière modification le : vendredi 12 mai 2023-04:02:07
Dates et versions
Identifiants
- HAL Id : hal-03451353 , version 1
- DOI : 10.1109/LICS52264.2021.9470717
Citer
Matteo Mio, Ralph Sarkis, Valeria Vignudelli. Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470717⟩. ⟨hal-03451353⟩
11
Consultations
0
Téléchargements