Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
Download
No fulltext has been uploaded.
Journal Article
Author
Schneider, Steve;
Treharne, Helen;
Wehrheim, HeikeLibreCat;
M. Williams, David
Publishing Year
Journal Title
CoRR
LibreCat-ID
Cite this
Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. CoRR. 2014.
Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. CoRR.
@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} }
Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” CoRR, 2014.
Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
Google Scholar