[{"doi":"dx.doi.org/10.1016/S1571-0661(04)80752-7","user_id":"52534","volume":82,"page":"1-18","_id":"7911","language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science","publisher":"Elsevier","date_updated":"2022-01-06T07:03:47Z","intvolume":"        82","title":"Model Based Verification and Validation of Properties","status":"public","year":"2003","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:19:37Z","publication":"Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)","issue":"7","citation":{"mla":"Engels, Gregor, et al. “Model Based Verification and Validation of Properties.” <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, vol. 82, no. 7, Elsevier, 2003, pp. 1–18, doi:<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>.","ama":"Engels G, Küster J, Heckel R, Lohmann M. Model Based Verification and Validation of Properties. In: <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>. Vol 82. Electronic Notes in Theoretical Computer Science. Elsevier; 2003:1-18. doi:<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>","bibtex":"@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes in Theoretical Computer Science}, title={Model Based Verification and Validation of Properties}, volume={82}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>}, number={7}, booktitle={Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18}, collection={Electronic Notes in Theoretical Computer Science} }","apa":"Engels, G., Küster, J., Heckel, R., &#38; Lohmann, M. (2003). Model Based Verification and Validation of Properties. In <i>Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i> (Vol. 82, pp. 1–18). Elsevier. <a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7</a>","ieee":"G. Engels, J. Küster, R. Heckel, and M. Lohmann, “Model Based Verification and Validation of Properties,” in <i>Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, 2003, vol. 82, no. 7, pp. 1–18.","short":"G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.","chicago":"Engels, Gregor, Jochen Küster, Reiko Heckel, and Marc Lohmann. “Model Based Verification and Validation of Properties.” In <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, 82:1–18. Electronic Notes in Theoretical Computer Science. Elsevier, 2003. <a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7</a>."}}]