Real-time property preservation in approximations of timed systems (2003)

by J Huang, J Voeten, M Geilen
Venue:In Formal Methods and Models for Co-Design, 2003. MEMOCODE ’03. Proceedings. First ACM and IEEE International Conference on