{"year":"2013","date_updated":"2022-01-06T07:01:59Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"556","type":"bachelorsthesis","title":"Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking","author":[{"full_name":"Nickel, Tobias","first_name":"Tobias","last_name":"Nickel"}],"status":"public","citation":{"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} }","mla":"Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 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."},"date_created":"2017-10-17T12:42:40Z","language":[{"iso":"ger"}],"publisher":"Universität Paderborn","user_id":"477"}