An Algebraic Approach to the Specification of Stochastic Systems

    Research output: Book/ReportReportOther research output

    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Jun 1998

    Keywords

    • EWI-5998

    Cite this

    d' Argenio, P. R., Katoen, J. P., & Brinksma, H. (1998). An Algebraic Approach to the Specification of Stochastic Systems. Enschede: Centre for Telematics and Information Technology (CTIT).