Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation

Mengqi Liu, Zhong Shao, Hao Chen, Man Ki Yoon, Jung Eun Kim

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation'. Together they form a unique fingerprint.

Keyphrases

Computer Science