Skip to content
cs-conference-ranking.org

Riesz Modal logic for Markov processes.

Matteo Mio, Robert Furber, Radu Mardare

VenueA*LICS
Year2017
ProceedingsLICS
DBLP recordconf/lics/MioFM17 ↗

Browse the full LICS paper archive.