Stem csl$ (all stems)

3 papers:

QAPL-2014-SpielerHZ #markov #model checking #modelling

Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.

ICALP-v2-2011-ZhangJNH #model checking

Automata-Based CSL Model Checking (LZ, DNJ, FN, HH), pp. 271–282.

CSL-2010-AlendaOST #calculus

Tableau Calculi for CSL over minspaces (RA, NO, CS, DT), pp. 52–66.