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

maintained by Schloss Dagstuhl LZI, founded at University of Trier