Linearization of MUCRL specifications. Extended abstract

Y.S. Usenko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication3rd International Workshop on Verification and Computational Logic (VCL2002)
    EditorsM Leuschel, U Ultes-Nietsche
    Place of PublicationSouthhampton
    PublisherUniversity of Southampton
    Pages-
    Publication statusPublished - 2002

    Publication series

    Name
    NumberDSSE-TR
    Volume5

    Keywords

    • METIS-209587

    Cite this

    Usenko, Y. S. (2002). Linearization of MUCRL specifications. Extended abstract. In M. Leuschel, & U. Ultes-Nietsche (Eds.), 3rd International Workshop on Verification and Computational Logic (VCL2002) (pp. -). Southhampton: University of Southampton.