{"author":[{"full_name":"Rasch, Holger","first_name":"Holger","last_name":"Rasch"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"}],"citation":{"chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” 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, 229--243. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>.","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</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={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }","short":"H. Rasch, 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. 229--243.","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” 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. 229--243.","ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. 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:229--243. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>","apa":"Rasch, H., &#38; Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. 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. 229--243). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>","mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” <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. 229--243, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>."},"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","_id":"3239","editor":[{"last_name":"Najm","first_name":"Elie","full_name":"Najm, Elie"},{"first_name":"Uwe","last_name":"Nestmann","full_name":"Nestmann, Uwe"},{"first_name":"Perdita","last_name":"Stevens","full_name":"Stevens, Perdita"}],"status":"public","series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T06:59:06Z","user_id":"29719","type":"conference","doi":"10.1007/978-3-540-39958-2_16","page":"229--243","year":"2003","date_created":"2018-06-14T06:53:24Z","title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","department":[{"_id":"77"}]}