Branching-Time Property Preservation Between Real-Time Systems.

Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal

Browse the full ATVA paper archive.