Strengthening Property Preservation in Concurrent Real-Time Systems.

Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal

Browse the full RTCSA paper archive.