"Virtual timeline: a formal abstraction for verifying preemptive schedulers ..."

Mengqi Liu et al. (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics