{"date_created":"2019-03-03T16:13:15Z","title":"\"Modelchecking\" - Eine Methode zur Verbesserung der Softwarequalität","report_number":"2","type":"report","year":"2007","language":[{"iso":"eng"}],"_id":"8216","date_updated":"2022-01-06T07:03:52Z","status":"public","author":[{"last_name":"Gehrke","full_name":"Gehrke, Matthias","first_name":"Matthias"},{"first_name":"Baris","full_name":"Güldali, Baris","last_name":"Güldali"},{"last_name":"Kindler","full_name":"Kindler, Ekkart","first_name":"Ekkart"}],"user_id":"52534","citation":{"apa":"Gehrke, M., Güldali, B., &#38; Kindler, E. (2007). <i>“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab.","ieee":"M. Gehrke, B. Güldali, and E. Kindler, <i>“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","mla":"Gehrke, Matthias, et al. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","ama":"Gehrke M, Güldali B, Kindler E. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab; 2007.","chicago":"Gehrke, Matthias, Baris Güldali, and Ekkart Kindler. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","bibtex":"@book{Gehrke_Güldali_Kindler_2007, title={“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität}, publisher={University of Paderborn, s-lab}, author={Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}, year={2007} }","short":"M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007."},"publisher":"University of Paderborn, s-lab","department":[{"_id":"66"}]}