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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar