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