Distributed, modular HTL (2009)

by T Henzinger, C Kirsch, E Marques, A Sokolova
Venue:In Proc. RTSS. IEEE CS