[{"publication_identifier":{"isbn":["1-4020-2866-0"]},"year":"2004","place":"Dordrecht","page":"155-168","citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.","ieee":"A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.","ama":"Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer; 2004:155-168.","short":"A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.","bibtex":"@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 155–68.","apa":"Krupp, A., &#38; Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i> (pp. 155–168). Kluwer."},"publisher":"Kluwer","date_updated":"2022-10-20T09:56:28Z","date_created":"2022-10-20T09:54:53Z","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"title":"Refinement of Finite State Machines with Complementary Model Checking","publication":"UML-B System Specification for Proven Electronic Design","type":"book_chapter","editor":[{"last_name":"Mermet","full_name":"Mermet, J.","first_name":"J."}],"status":"public","_id":"33830","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}]},{"publication_identifier":{"isbn":["1-4020-2866-0"]},"citation":{"ieee":"A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.","ama":"Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer; 2004:227-240.","short":"A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.","bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }","mla":"Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 227–40.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i> (pp. 227–240). Kluwer."},"page":"227-240","year":"2004","place":"Dordrecht","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Ian","last_name":"Oliver","full_name":"Oliver, Ian"}],"date_created":"2022-10-20T09:59:04Z","publisher":"Kluwer","date_updated":"2022-10-20T09:59:24Z","title":"The Echo Cancellation Unit Case Study","type":"book_chapter","publication":"UML-B System Specification for Proven Electronic Design","status":"public","editor":[{"last_name":"Mermet","full_name":"Mermet, J.","first_name":"J."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"33832","language":[{"iso":"eng"}]}]