{"citation":{"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>.","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.","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>","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} }","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>.","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>"},"user_id":"29719","department":[{"_id":"77"}],"doi":"10.1007/11494881_5","editor":[{"full_name":"Steffen, Martin","last_name":"Steffen","first_name":"Martin"},{"last_name":"Zavattaro","full_name":"Zavattaro, Gianluigi","first_name":"Gianluigi"}],"series_title":"Lecture Notes in Computer Science","_id":"3229","year":"2005","date_updated":"2022-01-06T06:59:06Z","author":[{"first_name":"Holger","last_name":"Rasch","full_name":"Rasch, Holger"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"status":"public","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","date_created":"2018-06-14T06:41:20Z","title":"Checking the Validity of Scenarios in {UML} Models","type":"conference","page":"67--82"}