@inproceedings{da236d23e8e44a3ba29d0a9f9a25fe2c,
title = "Software verification in ground transportation systems",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "A Al-Daraiseh and J Zalewski and WJ Toetenel",
year = "2001",
language = "Undefined/Unknown",
isbn = "980-07-7557-9",
publisher = "International Institute of Informatics and Systemics",
pages = "271--276",
editor = "{N Callaos} and {S Long} and {M Loutfi}",
booktitle = "ISAS SCI 2001: proceedings",
note = "World Multiconference on Systemics, Cybernetics and Informatics, Orlando ; Conference date: 22-07-2001 Through 25-07-2001",
}