Formal Methods in System Design, Volume 27

Volume 27, Number 1-2, September 2005

Volume 27, Number 3, November 2005

a service of Schloss Dagstuhl - Leibniz Center for Informatics