Real-time Property Preservation in Approximations of Timed Systems.

Jinfeng Huang, Jeroen Voeten, Marc Geilen

Browse the full MEMOCODE paper archive.