{"language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25179","status":"public","type":"book_chapter","publication":"Dependability of Self-Optimizing Mechatronic Systems","title":"Online Model Checking","author":[{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"},{"full_name":"Zhao, Yuhong","last_name":"Zhao","first_name":"Yuhong"}],"date_created":"2021-09-30T13:07:12Z","publisher":"Springer-Verlag","date_updated":"2022-01-06T06:56:54Z","citation":{"apa":"Rammig, F.-J., &#38; Zhao, Y. (2014). Online Model Checking. In <i>Dependability of Self-Optimizing Mechatronic Systems</i> (pp. 147–152). Springer-Verlag.","bibtex":"@inbook{Rammig_Zhao_2014, place={ Heidelberg, Germany}, title={Online Model Checking}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag}, author={Rammig, Franz-Josef and Zhao, Yuhong}, year={2014}, pages={147–152} }","mla":"Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag, 2014, pp. 147–52.","short":"F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag,  Heidelberg, Germany, 2014, pp. 147–152.","chicago":"Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” In <i>Dependability of Self-Optimizing Mechatronic Systems</i>, 147–52.  Heidelberg, Germany: Springer-Verlag, 2014.","ieee":"F.-J. Rammig and Y. Zhao, “Online Model Checking,” in <i>Dependability of Self-Optimizing Mechatronic Systems</i>,  Heidelberg, Germany: Springer-Verlag, 2014, pp. 147–152.","ama":"Rammig F-J, Zhao Y. Online Model Checking. In: <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag; 2014:147-152."},"page":"147-152","year":"2014","place":" Heidelberg, Germany"}