{"type":"conference","date_updated":"2023-01-24T08:21:22Z","department":[{"_id":"672"}],"title":"Modelchecking von Klassifikationsbaum-Testsequenzen","user_id":"5786","date_created":"2023-01-24T08:21:17Z","status":"public","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","citation":{"ieee":"A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.” Munich, Germany, 2005.","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Modelchecking von Klassifikationsbaum-Testsequenzen</i>. 2005.","bibtex":"@article{Krupp_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Modelchecking von Klassifikationsbaum-Testsequenzen}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }","apa":"Krupp, A., &#38; Müller, W. (2005). <i>Modelchecking von Klassifikationsbaum-Testsequenzen</i>.","short":"A. Krupp, W. Müller, (2005).","chicago":"Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.","ama":"Krupp A, Müller W. Modelchecking von Klassifikationsbaum-Testsequenzen. Published online 2005."},"place":"Munich, Germany","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"year":"2005","language":[{"iso":"eng"}],"_id":"39038"}