Linearization of µCRL specifications

Y.S. Usenko

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages62
    Publication statusPublished - 2002

    Publication series

    NameCWI report. SEN-R : software engineering
    Volume0209
    ISSN (Print)1386-369X

    Cite this