Riesz Modal logic for Markov processes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

hal-01872150 , version 1 (11-09-2018)

Identifiants

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⟩
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More