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