[{"page":"260--274","department":[{"_id":"77"}],"title":"A {CSP} Approach to Control in Event-B","year":"2010","citation":{"mla":"Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>.","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 260--274). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }","short":"S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>.","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 260--274.","ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:260--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>"},"doi":"10.1007/978-3-642-16265-7_19","author":[{"first_name":"Steve","full_name":"Schneider, Steve","last_name":"Schneider"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"id":"573","first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"editor":[{"last_name":"M{\\'{e}}ry","first_name":"Dominique","full_name":"M{\\'{e}}ry, Dominique"},{"last_name":"Merz","full_name":"Merz, Stephan","first_name":"Stephan"}],"date_updated":"2019-01-03T13:14:12Z","status":"public","series_title":"Lecture Notes in Computer Science","type":"conference","date_created":"2018-06-13T09:20:53Z","publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","_id":"3195","user_id":"29719"}]