, Annabelle McIver
, Pedro R. D'Argenio
, Pieter J. L. Cuijpers
, Jasen Markovski
, Carroll Morgan
, Manuel Núñez
(Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009.
: Markovian Testing Equivalence and Exponentially Timed Internal Actions.
: Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems.
: Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach.