Matthias Schmalz

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Matthias Schmalz
Term Rewriting in Logics of Partial Functions. ICFEM (2011)
Matthias Schmalz, Daniele Varacca, Hagen Völzer
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR (2009)
Matthias Schmalz, Hagen Völzer, Daniele Varacca
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS (2007)