Marta Z. Kwiatkowska David Parker Yi Zhang Rashid Mehmood Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. 123-130 2004 conf/mascots/2004 MASCOTS http://csdl.computer.org/comp/proceedings/mascots/2004/2251/00/22510123abs.htm db/conf/mascots/mascots2004.html#KwiatkowskaPZM04