Third international workshop on formal methods for industrial critical systems : held at CWI, Amsterdam, The Netherlands, 25-26.05.1998

Additional Metadata
Publisher	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Editor	J.F. Groote (Jan Friso) , S.P. Luttik (Bas) , J.J. van Wamel
ISBN	978-90-6196-480-3
Hard Copy Location	CWI Archive M044: 17-02 , M50-FMI-003
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J.F, Luttik, S.P, & van Wamel, J.J (Eds.). (1998). Third international workshop on formal methods for industrial critical systems : held at CWI, Amsterdam, The Netherlands, 25-26.05.1998. In J.F Groote, S.P Luttik, & J.J van Wamel (Eds.), . Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands.

Publication