Formal verification of Chi models using PHAVer (extended version)

D.A. Beek, van, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers

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
ISBN (Print)3-901608-25-7
Publication statusPublished - 2006

Cite this