Linearization of μ-CRL specifications. Extended abstract

Y.S. Usenko, M Leuschel (Editor), U. Ultes-Nitsche (Editor)

    Research output: Contribution to conferencePaperAcademic

    25 Downloads (Pure)
    Original languageUndefined
    Publication statusPublished - 2002
    Event3rd International Workshop on Verification and Computational Logic (VCL2002) - Southampton, UK
    Duration: 1 Jan 20021 Jan 2002

    Workshop

    Workshop3rd International Workshop on Verification and Computational Logic (VCL2002)
    Period1/01/021/01/02

    Keywords

    • FMT-PA: PROCESS ALGEBRAS
    • IR-66287
    • EWI-6532
    • FMT-TOOLS

    Cite this