Formal Methods in System Design, Volume 12

Volume 12, Number 1, January 1998

Volume 12, Number 2, March 1998

Volume 12, Number 3, April 1998

a service of Schloss Dagstuhl - Leibniz Center for Informatics