179.215.124.0
Created page with "== Target Article == Retracted: Modeling and Verifying the Kernel of RTOS; Gong, ShengWen; ; NULL; ; https://doi.org/10.1007/978-3-642-34038-3_84 == Reasons == Note: Reasons not yet here included, but you are welcome to insert this information whenever you wish."