{"status":"public","year":"2003","author":[{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"_id":"3238","title":"Inheritance of Temporal Logic Properties","department":[{"_id":"77"}],"user_id":"29719","citation":{"apa":"Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i> (pp. 79--93). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">https://doi.org/10.1007/978-3-540-39958-2_6</a>","short":"H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","chicago":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">https://doi.org/10.1007/978-3-540-39958-2_6</a>.","ieee":"H. Wehrheim, “Inheritance of Temporal Logic Properties,” in <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp. 79--93.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm et al., 2003, pp. 79--93, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>.","ama":"Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:79--93. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>"},"date_created":"2018-06-14T06:52:17Z","editor":[{"last_name":"Najm","full_name":"Najm, Elie","first_name":"Elie"},{"last_name":"Nestmann","full_name":"Nestmann, Uwe","first_name":"Uwe"},{"first_name":"Perdita","last_name":"Stevens","full_name":"Stevens, Perdita"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-39958-2_6","page":"79--93","date_updated":"2022-01-06T06:59:06Z","type":"conference","publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings"}