{"department":[{"_id":"672"}],"type":"conference","citation":{"bibtex":"@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }","ieee":"A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.","ama":"Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: <i>Proceedings of FDL’03</i>. ; 2003.","short":"A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.","apa":"Krupp, A., &#38; Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. <i>Proceedings of FDL’03</i>.","mla":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Proceedings of FDL’03</i>, 2003.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Proceedings of FDL’03</i>. Frankfurt, Germany, 2003."},"user_id":"5786","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"year":"2003","date_created":"2023-01-24T09:53:01Z","status":"public","_id":"39368","publication":"Proceedings of FDL'03","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","date_updated":"2023-01-24T09:53:06Z","place":"Frankfurt, Germany","language":[{"iso":"eng"}]}