Communication Dans Un Congrès
Année : 2017
Matteo Mio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01872150
Soumis le : mardi 11 septembre 2018-16:35:37
Dernière modification le : jeudi 11 mai 2023-11:56:10
Citer
Matteo Mio, Robert Furber, Radu Mardare. Riesz Modal logic for Markov processes. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005091⟩. ⟨hal-01872150⟩
43
Consultations
0
Téléchargements