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