Dual-processor parallelisation of symbolic probabilistic model checking

Marta Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood

Research output: Contribution to conference (unpublished)Paper

21 Citations (Scopus)
Original languageEnglish
Pages123-130
Number of pages8
Publication statusPublished - 1 Jan 2004
Event12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunciation Systems -
Duration: 1 Jan 2004 → …

Conference

Conference12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunciation Systems
Period1/01/04 → …

Cite this