N. Markey

Model Checking a Path (Preliminary Report)

Cnrs Fre, N. Markey, P. Schnoebelen, 2003 .

TSMV: a symbolic model checker for quantitative analysis of systems

N. Markey, P. Schnoebelen, 2004 .