book chapter Alexander Krupp author Wolfgang Müller author 16243 Ian Oliver author Ch.Grimm editor 672 department Kluwer2004 eng 978-1-4020-7991-7 301-314 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. 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. @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} } 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. 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. 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. A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314. 338292022-10-20T09:49:57Z2022-10-20T09:50:11Z