{"series_title":"Electronic Notes in Theoretical Computer Science","volume":82,"doi":"dx.doi.org/10.1016/S1571-0661(04)80752-7","user_id":"52534","citation":{"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} }","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>","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>.","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.","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.","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>."},"publisher":"Elsevier","department":[{"_id":"66"}],"date_created":"2019-02-21T11:19:37Z","title":"Model Based Verification and Validation of Properties","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","page":"1-18","type":"conference","year":"2003","intvolume":"        82","_id":"7911","language":[{"iso":"eng"}],"status":"public","author":[{"full_name":"Engels, Gregor","last_name":"Engels","id":"107","first_name":"Gregor"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"}],"date_updated":"2022-01-06T07:03:47Z"}