Real-time Property Preservation in Approximations of Timed Systems (2003)

by Jinfeng Huang , Jeroen Voeten , Marc Geilen
Venue:In: Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design
Citations:19 - 12 self