Formal verification of Chi models using PHAVer (extended version)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Downloads (Pure)
Originele taal-2Engels
TitelProceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM
RedacteurenI. Troch, F. Breitenecker
Plaats van productieVienna
UitgeverijARGESIM
ISBN van geprinte versie3-901608-25-7
StatusGepubliceerd - 2006

Citeer dit

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E., & Schiffelers, R. R. H. (2006). Formal verification of Chi models using PHAVer (extended version). In I. Troch, & F. Breitenecker (editors), Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM ARGESIM.