Property Verification within a Process Algebra Framework

George Milne, A. Cerone

    Research output: Chapter in Book/Conference paperChapter

    Original languageEnglish
    Title of host publicationReal-Time Systems Modeling Design and Applications
    EditorsDon Ionescu, Aurel Cornell
    Place of PublicationU.S.A.
    PublisherWorld Scientific Publishing
    Pages153-173
    Volume8
    ISBN (Print)981024424X
    Publication statusPublished - 2007

    Publication series

    NameAMAST Series in Computing

    Cite this