{"doi":"http://dx.doi.org/10.1109/TASE.2007.56","user_id":"52534","citation":{"mla":"Förster, Alexander, et al. “Verification of Business Process Quality Constraints Based on Visual Process Patterns.” <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>, IEEE Computer Society, 2007, pp. 197–208, doi:<a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>.","ieee":"A. Förster, G. Engels, T. Schattkowsky, and R. Van Der Straeten, “Verification of Business Process Quality Constraints Based on Visual Process Patterns,” in <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>, 2007, pp. 197–208.","apa":"Förster, A., Engels, G., Schattkowsky, T., &#38; Van Der Straeten, R. (2007). Verification of Business Process Quality Constraints Based on Visual Process Patterns. In <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i> (pp. 197–208). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>","short":"A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007, pp. 197–208.","bibtex":"@inproceedings{Förster_Engels_Schattkowsky_Van Der Straeten_2007, place={Washington, DC, USA}, title={Verification of Business Process Quality Constraints Based on Visual Process Patterns}, DOI={<a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>}, booktitle={Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)}, publisher={IEEE Computer Society}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim and Van Der Straeten, Ragnhild}, year={2007}, pages={197–208} }","ama":"Förster A, Engels G, Schattkowsky T, Van Der Straeten R. Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>. Washington, DC, USA: IEEE Computer Society; 2007:197-208. doi:<a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>","chicago":"Förster, Alexander, Gregor Engels, Tim Schattkowsky, and Ragnhild Van Der Straeten. “Verification of Business Process Quality Constraints Based on Visual Process Patterns.” In <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>, 197–208. Washington, DC, USA: IEEE Computer Society, 2007. <a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>."},"place":"Washington, DC, USA","publisher":"IEEE Computer Society","department":[{"_id":"66"}],"date_created":"2019-02-21T11:56:33Z","title":"Verification of Business Process Quality Constraints Based on Visual Process Patterns","publication":"Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)","type":"conference","page":"197-208","year":"2007","language":[{"iso":"eng"}],"_id":"7965","date_updated":"2022-01-06T07:03:48Z","author":[{"first_name":"Alexander","last_name":"Förster","full_name":"Förster, Alexander"},{"full_name":"Engels, Gregor","last_name":"Engels","id":"107","first_name":"Gregor"},{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"last_name":"Van Der Straeten","full_name":"Van Der Straeten, Ragnhild","first_name":"Ragnhild"}],"status":"public"}