{"title":"Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System","department":[{"_id":"672"}],"year":"2015","date_created":"2021-09-29T09:53:25Z","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:56:51Z","user_id":"21240","type":"journal_article","publication":"Concurrency and Computation: Practice and Experience ","status":"public","_id":"25109","author":[{"first_name":"Krishna","last_name":"Sudhakar","full_name":"Sudhakar, Krishna"},{"last_name":"Zhao","first_name":"Yuhong","full_name":"Zhao, Yuhong"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"citation":{"ama":"Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>. Published online 2015.","apa":"Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2015). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>.","mla":"Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","bibtex":"@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2015} }","chicago":"Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","short":"K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience  (2015).","ieee":"K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” <i>Concurrency and Computation: Practice and Experience </i>, 2015."}}