{"year":"2005","doi":"10.1007/11494881_5","publication":"Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings","department":[{"_id":"77"}],"citation":{"apa":"Rasch, H., &#38; Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen &#38; G. Zavattaro (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i> (pp. 67--82). <a href=\"https://doi.org/10.1007/11494881_5\">https://doi.org/10.1007/11494881_5</a>","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” In <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11494881_5\">https://doi.org/10.1007/11494881_5</a>.","ieee":"H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, 2005, pp. 67--82.","mla":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>.","ama":"Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:67--82. doi:<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>","short":"H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.","bibtex":"@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }"},"user_id":"29719","title":"Checking the Validity of Scenarios in {UML} Models","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:41:20Z","status":"public","author":[{"last_name":"Rasch","full_name":"Rasch, Holger","first_name":"Holger"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"_id":"3229","type":"conference","series_title":"Lecture Notes in Computer Science","editor":[{"first_name":"Martin","last_name":"Steffen","full_name":"Steffen, Martin"},{"first_name":"Gianluigi","full_name":"Zavattaro, Gianluigi","last_name":"Zavattaro"}],"page":"67--82"}