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