bibtex

@article{LRS+0,
    title = { Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation },
    author = {Liu, Mengqi and Rieg, Lionel and Shao, Zhong and Gu, Ronghui and Costanzo, David and Kim, Jung{-}Eun and Yoon, Man{-}Ki},
    year = {2020},
    journal = {Proc. {ACM} Program. Lang. -- POPL 2020 Proceedings},
    pages = {20:1--20:31},
    volume = {4},
    team = {SYNC, axe_FormalProofs},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1693549