On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
Download
No fulltext has been uploaded.
Journal Article
Author
Derrick, John;
Wehrheim, HeikeLibreCat
Publishing Year
Journal Title
Acta Inf.
Issue
1
Page
41--71
LibreCat-ID
Cite this
Derrick J, Wehrheim H. On using data abstractions for model checking refinements. Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3
Derrick, J., & Wehrheim, H. (2007). On using data abstractions for model checking refinements. Acta Inf., (1), 41--71. https://doi.org/10.1007/s00236-007-0042-3
@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={10.1007/s00236-007-0042-3}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }
Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3.
J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.
Google Scholar