{"title":"Managing {LTL} properties in Event-B refinement","department":[{"_id":"77"}],"year":"2014","date_created":"2018-06-13T08:05:39Z","user_id":"29719","date_updated":"2022-01-06T06:59:02Z","type":"journal_article","citation":{"chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","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} }","ieee":"S. Schneider, H. Treharne, H. Wehrheim, and D. 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).","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>."},"author":[{"full_name":"Schneider, Steve","first_name":"Steve","last_name":"Schneider"},{"full_name":"Treharne, Helen","last_name":"Treharne","first_name":"Helen"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"},{"last_name":"M. Williams","first_name":"David","full_name":"M. Williams, David"}],"publication":"CoRR","status":"public","_id":"3174"}