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