Model checking birth and death

    Research output: Contribution to conferencePaperpeer-review

    12 Citations (Scopus)
    68 Downloads (Pure)
    Original languageUndefined
    Pages435-447
    Number of pages13
    Publication statusPublished - 2002
    Event2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing - Quebec, Canada
    Duration: 25 Aug 200230 Aug 2002

    Conference

    Conference2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing
    Period25/08/0230/08/02
    OtherAugust 25-30, 2002

    Keywords

    • FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS
    • IR-66283
    • EWI-6519

    Cite this