Formal Methods in System Design, Volume 43

Volume 43, Number 1, August 2013

Volume 43, Number 2, October 2013

Special issue on Probabilistic Model Checking

Volume 43, Number 3, December 2013

a service of Schloss Dagstuhl - Leibniz Center for Informatics