Real-time property preservation in approximations of timed systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. of First ACM&IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2003)
Place of Publication	Mont Saint-Michel, France
Pages	163-171
Publication status	Published - 2003
Event	conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26 - Duration: 24 Jun 2003 → 26 Jun 2003

Conference	conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26
Period	24/06/03 → 26/06/03
Other	MEMOCODE 2003, Mont Saint-Michel, France

Cite this

@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",

}

TY - GEN

T1 - Real-time property preservation in approximations of timed systems

AU - Huang, J.

AU - Voeten, J.P.M.

AU - Geilen, M.C.W.

PY - 2003

Y1 - 2003

M3 - Conference contribution

SN - 0-7695-1923-7

SP - 163

EP - 171

BT - Proc. of First ACM&IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2003)

CY - Mont Saint-Michel, France

T2 - conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26

Y2 - 24 June 2003 through 26 June 2003

ER -