Formal Methods in System Design, Volume 13

Volume 13, Number 1, May 1998

Volume 13, Number 2, September 1998

Volume 13, Number 3, November 1998

maintained by Schloss Dagstuhl LZI at University of Trier