@inproceedings{62c949fb29bb4dd991848fa664aa76d9,
title = "Experiments with parametric verification of real-time systems",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "{Lutje Spelberg}, RF and {de Rooij}, RCM and WJ Toetenel",
year = "1999",
language = "Undefined/Unknown",
isbn = "0-7695-0240-7",
publisher = "IEEE",
pages = "123--131",
editor = "{B Werner}",
booktitle = "Proceedings",
address = "United States",
note = "11th Euromicro Conference on Real Time Systems, York ; Conference date: 09-06-1999 Through 11-06-1999",
}