Formal verification of Chi models using PHAVer (extended version)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM
EditorsI. Troch, F. Breitenecker
Place of PublicationVienna
PublisherARGESIM
ISBN (Print)3-901608-25-7
Publication statusPublished - 2006

Cite this

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 (Eds.), Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM ARGESIM.