ACL: an approach to formal verification of real time systems

RCM de Rooij; RF Lutje Spelberg; J van Katwijk

ACL: an approach to formal verification of real time systems

RCM de Rooij, RF Lutje Spelberg, J van Katwijk

Software Engineering

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	ASCI 2000 proceedings
Editors	van LJ Vliet, JWJ Heijnsdijk, T Kielmann, PMW Knijnenburg
Place of Publication	Delft
Publisher	Advanced School for Computing and Imaging
Pages	335-342
Number of pages	8
ISBN (Print)	90-803086-5-X
Publication status	Published - 2000
Event	6th Annual conference of the Advanced School for Computing and Imaging, Lommel - Delft Duration: 14 Jun 2000 → 16 Jun 2000

Publication series

Name
Publisher	Advanced School for Computing and Imaging

Conference

Conference	6th Annual conference of the Advanced School for Computing and Imaging, Lommel
Period	14/06/00 → 16/06/00

Keywords

ZX Int.klas.verslagjaar < 2002

Cite this

@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",

note = "6th Annual conference of the Advanced School for Computing and Imaging, Lommel ; Conference date: 14-06-2000 Through 16-06-2000",

}

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 volume › Conference contribution › Scientific › peer-review

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

T2 - 6th Annual conference of the Advanced School for Computing and Imaging, Lommel

Y2 - 14 June 2000 through 16 June 2000

ER -