{"date_created":"2017-10-17T12:42:40Z","status":"public","_id":"556","user_id":"477","year":"2013","author":[{"full_name":"Nickel, Tobias","last_name":"Nickel","first_name":"Tobias"}],"type":"bachelorsthesis","publisher":"Universität Paderborn","project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"mla":"Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 2013.","chicago":"Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 2013.","apa":"Nickel, T. (2013). <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn.","short":"T. Nickel, Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking, Universität Paderborn, 2013.","bibtex":"@book{Nickel_2013, title={Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking}, publisher={Universität Paderborn}, author={Nickel, Tobias}, year={2013} }","ieee":"T. Nickel, <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 2013.","ama":"Nickel T. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn; 2013."},"language":[{"iso":"ger"}],"date_updated":"2022-01-06T07:01:59Z","title":"Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking"}