{"publication":"CoRR","type":"journal_article","date_updated":"2022-01-06T06:59:02Z","status":"public","year":"2014","author":[{"first_name":"Steve","last_name":"Schneider","full_name":"Schneider, Steve"},{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"},{"first_name":"David","full_name":"M. Williams, David","last_name":"M. Williams"}],"department":[{"_id":"77"}],"title":"Managing {LTL} properties in Event-B refinement","_id":"3174","citation":{"ieee":"S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” <i>CoRR</i>, 2014.","ama":"Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. <i>CoRR</i>. 2014.","mla":"Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","apa":"Schneider, S., Treharne, H., Wehrheim, H., &#38; M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. <i>CoRR</i>.","bibtex":"@article{Schneider_Treharne_Wehrheim_M. Williams_2014, title={Managing {LTL} properties in Event-B refinement}, journal={CoRR}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, year={2014} }","chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","short":"S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014)."},"user_id":"29719","date_created":"2018-06-13T08:05:39Z"}