Formal Methods in System Design, Volume 29

Volume 29, Number 1, July 2006

Volume 29, Number 2, September 2006

Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker

Volume 29, Number 3, November 2006

maintained by Schloss Dagstuhl LZI at University of Trier