@inproceedings{8d875c1e34374a9a93990a708aed63cc,
title = "An approach towards formal verification of object-oriented real-time systems",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "{de Rooij}, RCM and {van Katwijk}, J",
year = "1999",
language = "Undefined/Unknown",
isbn = "0-7695-0306-3",
publisher = "IEEE ",
pages = "474--483",
booktitle = "RTCSA'99: proceedings",
address = "United States",
note = "6th International Confererence on Real-Time Computing Systems and Applications, Hong Kong ; Conference date: 13-12-1999 Through 15-12-1999",
}