Automatic verification of a lip-synchronisation protocol using Uppaal

H. Bowman, G. Faconti, J.-P. Katoen, D. Latella, M. Massink

    Research output: Contribution to journalArticleAcademicpeer-review

    18 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Automatic verification of a lip-synchronisation protocol using Uppaal'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science