{"_id":"33829","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","publication_identifier":{"isbn":["978-1-4020-7991-7"]},"department":[{"_id":"672"}],"user_id":"5786","citation":{"apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), <i>Best of FDL’03</i> (pp. 301–314). Kluwer.","ieee":"A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in <i>Best of FDL’03</i>, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.","mla":"Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Best of FDL’03</i>, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.","ama":"Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. <i>Best of FDL’03</i>. Kluwer; 2004:301-314.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Best of FDL’03</i>, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.","short":"A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.","bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }"},"editor":[{"first_name":"Ch.","full_name":"Grimm, Ch.","last_name":"Grimm"}],"date_created":"2022-10-20T09:49:57Z","status":"public","year":"2004","place":"Dordrecht","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Ian","full_name":"Oliver, Ian","last_name":"Oliver"}],"publisher":"Kluwer","page":"301-314","type":"book_chapter","date_updated":"2022-10-20T09:50:11Z","publication":"Best of FDL'03","language":[{"iso":"eng"}]}