Property Verification of Asynchronous Systems

George Milne, A. Cerone

    Research output: Contribution to journalArticle

    5 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)25-40
    JournalInnovations in Systems & Software Engineering
    Volume1
    Issue number1
    DOIs
    Publication statusPublished - 2005

    Cite this