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

Additional Metadata
Editor	J.F. Groote (Jan Friso) , S.P. Luttik (Bas) , J.J. van Wamel
Publisher	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
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, B., & 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, B. Luttik, & J. J. van Wamel (Eds.), .

Publication