Options
Title
FMICS '98, Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems
Title Supplement
Amsterdam , 25-26 May 1998
Person Involved
Publisher
Publishing Place
Amsterdam
Publication Date
1998
ISBN
90-6196-480-6