Faster and symbolic CTMC model checking

JP Katoen, Marta Kwiatkowska, Gethin Norman, David Parker, L de Alfaro, S Gilmore

Research output: Contribution to conference (unpublished)Paper

46 Citations (Scopus)
Original languageEnglish
Pages23-38
Number of pages16
Publication statusPublished - 1 Jan 2001
EventIn Proceedings PAPM-PROBMIV 2001 -
Duration: 1 Jan 2001 → …

Conference

ConferenceIn Proceedings PAPM-PROBMIV 2001
Period1/01/01 → …

Cite this