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 : mercredi 24 juillet 2024-14:49:09
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⟩
46
Consultations
0
Téléchargements