Symbolic computation of maximal probabilistic reachability

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, K Larsen, M Nielsen

Research output: Contribution to conference (unpublished) › Paper

Original languageEnglish
Publication statusPublished - 1 Jan 2001
EventCONCUR 2001 -
Duration: 1 Jan 2001 → …

Conference

ConferenceCONCUR 2001
Period1/01/01 → …

Cite this