RNTI

MODULAD
Verification of embbeded systems with preemption: a negative result
In EGC 2022, vol. 1, pp.97-108
Abstract
555