@inproceedings{d7d163db3a0a4937b1fc9ca11265c262,
title = "Real-time property preservation in approximations of timed systems",
author = "J. Huang and J.P.M. Voeten and M.C.W. Geilen",
year = "2003",
language = "English",
isbn = "0-7695-1923-7",
pages = "163--171",
booktitle = "Proc. of First ACM\&IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2003)",
note = "conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26 ; Conference date: 24-06-2003 Through 26-06-2003",
}