[{"user_id":"29719","title":"On using data abstractions for model checking refinements","department":[{"_id":"77"}],"publication":"Acta Inf.","author":[{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-13T09:56:17Z","status":"public","date_updated":"2022-01-06T06:59:05Z","_id":"3211","issue":"1","doi":"10.1007/s00236-007-0042-3","page":"41--71","citation":{"ama":"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","apa":"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","chicago":"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.","bibtex":"@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} }","mla":"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.","short":"J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.","ieee":"J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007."},"type":"journal_article","year":"2007"}]