Revisiting GPC and AND Connector in Real-Time Calculus.

Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi

Browse the full RTSS paper archive.