@inproceedings{b28e312b631e482499b19e66d4d5d718,
title = "Experiments in using model checking for schedulability analysis",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "{de Rooij}, RCM",
year = "1999",
language = "Undefined/Unknown",
isbn = "90-803086-4-1",
publisher = "Advanced School for Computing and Imaging",
pages = "158--164",
editor = "{M Boasson} and {JA Kaandorp} and {JFM Tonino} and {MG Vosselman}",
booktitle = "ASCI'99: proceedings",
note = "5th Annual Conference of the Advanced School for Computing and Imaging, Heijen ; Conference date: 15-06-1999 Through 17-06-1999",
}