A Wavefront Parallelisation of CTMC Solution Using MTBDDs.

Yi Zhang, David Parker, Marta Z. Kwiatkowska

Browse the full DSN paper archive.