Rachid Bouaziz, Ismail Berrada. Optimal tester synthesis for real-time systems. In Djamal Benslimane, Aris M. Ouksel, editors, Proceedings of the 8th international conference on New technologies in distributed systems, NOTERE '08, Lyon, France, June 23-27, 2008. ACM, 2008. [doi]
Abstract is missing.