{"date_created":"2019-03-03T16:13:15Z","status":"public","date_updated":"2022-01-06T07:03:52Z","_id":"8216","citation":{"short":"M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, 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.","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.","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.","mla":"Gehrke, Matthias, et al. <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} }"},"report_number":"2","user_id":"52534","language":[{"iso":"eng"}],"publisher":"University of Paderborn, s-lab","department":[{"_id":"66"}],"type":"report","author":[{"first_name":"Matthias","full_name":"Gehrke, Matthias","last_name":"Gehrke"},{"first_name":"Baris","full_name":"Güldali, Baris","last_name":"Güldali"},{"last_name":"Kindler","full_name":"Kindler, Ekkart","first_name":"Ekkart"}],"year":"2007","title":"\"Modelchecking\" - Eine Methode zur Verbesserung der Softwarequalität"}