Automatic synthesis of Markov models

M.J.M. Houtermans, J.K. Nieuwenhuizen, A.C. Brombacher

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    51 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProbalistic safety assessment and management '96, ESREL '96 - PSAM-III, June 24-28, Crete, Greece, Vol. 2. - London : Springer, 1996. - 3-540-76051-2.
    EditorsC. Cacciabue , I.A. Papazoglou
    Pages1348-1354
    Publication statusPublished - 1996

    Cite this