{"date_updated":"2022-01-06T06:59:07Z","_id":"3254","page":"315--334","citation":{"bibtex":"@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.","ama":"Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}. In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999. ; 1999:315--334.","apa":"Fischer, C., & Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications with {FDR}. In K. Araki, A. Galloway, & K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 (pp. 315--334).","chicago":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” In Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.","ieee":"C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.","short":"C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334."},"year":"1999","type":"conference","title":"Model-Checking {CSP-OZ} Specifications with {FDR}","user_id":"29719","publication":"Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999","department":[{"_id":"77"}],"author":[{"last_name":"Fischer","first_name":"Clemens","full_name":"Fischer, Clemens"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"editor":[{"last_name":"Araki","first_name":"Keijiro","full_name":"Araki, Keijiro"},{"last_name":"Galloway","first_name":"Andy","full_name":"Galloway, Andy"},{"full_name":"Taguchi, Kenji","first_name":"Kenji","last_name":"Taguchi"}],"date_created":"2018-06-14T07:33:10Z","status":"public"}