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