A symbolic out-of-core solution method for Markov models

Marta Kwiatkowska, R Mehmood, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Publication statusPublished - 1 Jan 2002
EventProceedings Workshop on Parallel and Distributed Model Checking (PDMC'02) -
Duration: 1 Jan 2002 → …

Conference

ConferenceProceedings Workshop on Parallel and Distributed Model Checking (PDMC'02)
Period1/01/02 → …

Cite this