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.
    Usenko, Y.S. / Linearization of MUCRL specifications. Extended abstract. 3rd International Workshop on Verification and Computational Logic (VCL2002). editor / M Leuschel ; U Ultes-Nietsche. Southhampton : University of Southampton, 2002. pp. -
    @inproceedings{d965acea0d6d49408a79fcf6250a9fab,
    title = "Linearization of MUCRL specifications. Extended abstract",
    keywords = "METIS-209587",
    author = "Y.S. Usenko",
    year = "2002",
    language = "Undefined",
    publisher = "University of Southampton",
    number = "DSSE-TR",
    pages = "--",
    editor = "M Leuschel and U Ultes-Nietsche",
    booktitle = "3rd International Workshop on Verification and Computational Logic (VCL2002)",
    address = "United Kingdom",

    }

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

    Linearization of MUCRL specifications. Extended abstract. / Usenko, Y.S.

    3rd International Workshop on Verification and Computational Logic (VCL2002). ed. / M Leuschel; U Ultes-Nietsche. Southhampton : University of Southampton, 2002. p. -.

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

    TY - GEN

    T1 - Linearization of MUCRL specifications. Extended abstract

    AU - Usenko, Y.S.

    PY - 2002

    Y1 - 2002

    KW - METIS-209587

    M3 - Conference contribution

    SP - -

    BT - 3rd International Workshop on Verification and Computational Logic (VCL2002)

    A2 - Leuschel, M

    A2 - Ultes-Nietsche, U

    PB - University of Southampton

    CY - Southhampton

    ER -

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