Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.

Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood

Browse the full MASCOTS paper archive.