{"date_updated":"2023-01-24T09:53:06Z","publication":"Proceedings of FDL'03","department":[{"_id":"672"}],"title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","user_id":"5786","date_created":"2023-01-24T09:53:01Z","status":"public","type":"conference","language":[{"iso":"eng"}],"_id":"39368","citation":{"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>.","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} }","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.","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.","ieee":"A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.","short":"A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003."},"place":"Frankfurt, Germany","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller"}],"year":"2003"}