{"page":"41--71","type":"journal_article","title":"On using data abstractions for model checking refinements","date_created":"2018-06-13T09:56:17Z","publication":"Acta Inf.","issue":"1","author":[{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"}],"status":"public","date_updated":"2022-01-06T06:59:05Z","year":"2007","_id":"3211","doi":"10.1007/s00236-007-0042-3","department":[{"_id":"77"}],"user_id":"29719","citation":{"mla":"Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” <i>Acta Inf.</i>, no. 1, 2007, pp. 41--71, doi:<a href=\"https://doi.org/10.1007/s00236-007-0042-3\">10.1007/s00236-007-0042-3</a>.","apa":"Derrick, J., &#38; Wehrheim, H. (2007). On using data abstractions for model checking refinements. <i>Acta Inf.</i>, (1), 41--71. <a href=\"https://doi.org/10.1007/s00236-007-0042-3\">https://doi.org/10.1007/s00236-007-0042-3</a>","ieee":"J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” <i>Acta Inf.</i>, no. 1, pp. 41--71, 2007.","short":"J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.","bibtex":"@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={<a href=\"https://doi.org/10.1007/s00236-007-0042-3\">10.1007/s00236-007-0042-3</a>}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }","ama":"Derrick J, Wehrheim H. On using data abstractions for model checking refinements. <i>Acta Inf</i>. 2007;(1):41--71. doi:<a href=\"https://doi.org/10.1007/s00236-007-0042-3\">10.1007/s00236-007-0042-3</a>","chicago":"Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” <i>Acta Inf.</i>, no. 1 (2007): 41--71. <a href=\"https://doi.org/10.1007/s00236-007-0042-3\">https://doi.org/10.1007/s00236-007-0042-3</a>."}}