ACL: an approach to formal verification of real time systems

RCM de Rooij, RF Lutje Spelberg, J van Katwijk

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

Original languageUndefined/Unknown
Title of host publicationASCI 2000 proceedings
Editorsvan LJ Vliet, JWJ Heijnsdijk, T Kielmann, PMW Knijnenburg
Place of PublicationDelft
PublisherAdvanced School for Computing and Imaging
Pages335-342
Number of pages8
ISBN (Print)90-803086-5-X
Publication statusPublished - 2000
Event6th Annual conference of the Advanced School for Computing and Imaging, Lommel - Delft
Duration: 14 Jun 200016 Jun 2000

Publication series

Name
PublisherAdvanced School for Computing and Imaging

Conference

Conference6th Annual conference of the Advanced School for Computing and Imaging, Lommel
Period14/06/0016/06/00

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

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). Advanced School for Computing and Imaging.