{"publication":"CoRR","type":"journal_article","date_updated":"2022-01-06T06:59:01Z","status":"public","year":"2016","author":[{"full_name":"Isenberg, Tobias","last_name":"Isenberg","first_name":"Tobias"},{"last_name":"Jakobs","full_name":"Jakobs, Marie{-}Christine","first_name":"Marie{-}Christine"},{"last_name":"Pauck","full_name":"Pauck, Felix","first_name":"Felix"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"}],"department":[{"_id":"77"}],"title":"Deriving approximation tolerance constraints from verification runs","_id":"3161","citation":{"chicago":"Isenberg, Tobias, Marie{-}Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” <i>CoRR</i>, 2016.","short":"T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).","apa":"Isenberg, T., Jakobs, M.-}Christine, Pauck, F., &#38; Wehrheim, H. (2016). Deriving approximation tolerance constraints from verification runs. <i>CoRR</i>.","mla":"Isenberg, Tobias, et al. “Deriving Approximation Tolerance Constraints from Verification Runs.” <i>CoRR</i>, 2016.","bibtex":"@article{Isenberg_Jakobs_Pauck_Wehrheim_2016, title={Deriving approximation tolerance constraints from verification runs}, journal={CoRR}, author={Isenberg, Tobias and Jakobs, Marie{-}Christine and Pauck, Felix and Wehrheim, Heike}, year={2016} }","ama":"Isenberg T, Jakobs M-}Christine, Pauck F, Wehrheim H. Deriving approximation tolerance constraints from verification runs. <i>CoRR</i>. 2016.","ieee":"T. Isenberg, M.-}Christine Jakobs, F. Pauck, and H. Wehrheim, “Deriving approximation tolerance constraints from verification runs,” <i>CoRR</i>, 2016."},"user_id":"29719","date_created":"2018-06-13T07:45:27Z"}