Expressiveness of Probabilistic Modal Logics, Revisited - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

hal-03410678 , version 1 (01-11-2021)

Identifiants

Citer

Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden. Expressiveness of Probabilistic Modal Logics, Revisited. International Colloquium on Automata, Languages, and Programming, ICALP, 2017, Warrsaw, Poland. ⟨10.4230/LIPIcs.ICALP.2017.105⟩. ⟨hal-03410678⟩

Collections

CNRS
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More