{"department":[{"_id":"77"}],"user_id":"29719","_id":"3240","publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings","title":"Using Coupled Simulations in Non-atomic Refinement","year":"2003","author":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"editor":[{"first_name":"Didier","full_name":"Bert, Didier","last_name":"Bert"},{"first_name":"Jonathan","last_name":"P. Bowen","full_name":"P. Bowen, Jonathan"},{"last_name":"King","full_name":"King, Steve","first_name":"Steve"},{"first_name":"Marina","full_name":"A. Wald{\\'{e}}n, Marina","last_name":"A. Wald{\\'{e}}n"}],"series_title":"Lecture Notes in Computer Science","citation":{"chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }","ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, 2003, pp. 127--147.","short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:127--147. doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>","mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert et al., 2003, pp. 127--147, doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>.","apa":"Derrick, J., &#38; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &#38; M. A. Wald{\\’{e}}n (Eds.), <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i> (pp. 127--147). <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>"},"date_updated":"2022-01-06T06:59:07Z","page":"127--147","date_created":"2018-06-14T06:54:54Z","type":"conference","doi":"10.1007/3-540-44880-2_10","status":"public"}