Standard

ACL: an approach to formal verification of real time systems. / de Rooij, RCM; Lutje Spelberg, RF; van Katwijk, J.

ASCI 2000 proceedings. ed. / van LJ Vliet; JWJ Heijnsdijk; T Kielmann; PMW Knijnenburg. Delft : Advanced School for Computing and Imaging, 2000. p. 335-342.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Harvard

de Rooij, RCM, Lutje Spelberg, RF & van Katwijk, J 2000, ACL: an approach to formal verification of real time systems. in V LJ Vliet, JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds), ASCI 2000 proceedings. Advanced School for Computing and Imaging, Delft, pp. 335-342, 6th Annual conference of the Advanced School for Computing and Imaging, Lommel, 14/06/00.

APA

de Rooij, RCM., Lutje Spelberg, RF., & van Katwijk, J. (2000). ACL: an approach to formal verification of real time systems. In V. LJ Vliet, JWJ Heijnsdijk, T Kielmann, & PMW Knijnenburg (Eds.), ASCI 2000 proceedings (pp. 335-342). Delft: Advanced School for Computing and Imaging.

Vancouver

de Rooij RCM, Lutje Spelberg RF, van Katwijk J. ACL: an approach to formal verification of real time systems. In LJ Vliet V, JWJ Heijnsdijk, T Kielmann, PMW Knijnenburg, editors, ASCI 2000 proceedings. Delft: Advanced School for Computing and Imaging. 2000. p. 335-342

Author

de Rooij, RCM ; Lutje Spelberg, RF ; van Katwijk, J. / ACL: an approach to formal verification of real time systems. ASCI 2000 proceedings. editor / van LJ Vliet ; JWJ Heijnsdijk ; T Kielmann ; PMW Knijnenburg. Delft : Advanced School for Computing and Imaging, 2000. pp. 335-342

BibTeX

@inproceedings{0727f393b215477ba52b340036b1c6d8,
title = "ACL: an approach to formal verification of real time systems",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "{de Rooij}, RCM and {Lutje Spelberg}, RF and {van Katwijk}, J",
year = "2000",
language = "Undefined/Unknown",
isbn = "90-803086-5-X",
publisher = "Advanced School for Computing and Imaging",
pages = "335--342",
editor = "{LJ Vliet}, van and {JWJ Heijnsdijk} and {T Kielmann} and {PMW Knijnenburg}",
booktitle = "ASCI 2000 proceedings",

}

RIS

TY - GEN

T1 - ACL: an approach to formal verification of real time systems

AU - de Rooij, RCM

AU - Lutje Spelberg, RF

AU - van Katwijk, J

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 90-803086-5-X

SP - 335

EP - 342

BT - ASCI 2000 proceedings

A2 - LJ Vliet, van

A2 - JWJ Heijnsdijk, null

A2 - T Kielmann, null

A2 - PMW Knijnenburg, null

PB - Advanced School for Computing and Imaging

CY - Delft

ER -

ID: 3629728