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