Towards Stronger Property Preservation in Real-Time Systems Synthesis Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal ES Reports ISSN - Henk - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Stronger Property Preservation in Real-Time Systems Synthesis Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal ES Reports ISSN Add to Reading List Document Date: 2006-05-26 08:16:13 Open Document File Size: 353,17 KB Share Result on Facebook

Towards Stronger Property Preservation in Real-Time Systems Synthesis Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal ES Reports ISSNAdd to Reading List