Liu, Mengqi, Rieg, Lionel, Shao, Zhong, Gu, Ronghui, Costanzo, David, Kim, Jung-Eun, and Yoon, Man-Ki. Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Retrieved from https://par.nsf.gov/biblio/10149881. Proceedings of the ACM on Programming Languages 4.POPL Web. doi:10.1145/3371088.

Liu, Mengqi, Rieg, Lionel, Shao, Zhong, Gu, Ronghui, Costanzo, David, Kim, Jung-Eun, & Yoon, Man-Ki. Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Proceedings of the ACM on Programming Languages, 4 (POPL). Retrieved from https://par.nsf.gov/biblio/10149881. https://doi.org/10.1145/3371088

Liu, Mengqi, Rieg, Lionel, Shao, Zhong, Gu, Ronghui, Costanzo, David, Kim, Jung-Eun, and Yoon, Man-Ki. "Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation". Proceedings of the ACM on Programming Languages 4 (POPL). Country unknown/Code not available. https://doi.org/10.1145/3371088. https://par.nsf.gov/biblio/10149881.

@article{osti_10149881,
place = {Country unknown/Code not available}, title = {Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation}, url = {https://par.nsf.gov/biblio/10149881}, DOI = {10.1145/3371088}, abstractNote = {}, journal = {Proceedings of the ACM on Programming Languages}, volume = {4}, number = {POPL}, author = {Liu, Mengqi and Rieg, Lionel and Shao, Zhong and Gu, Ronghui and Costanzo, David and Kim, Jung-Eun and Yoon, Man-Ki}, }