Josee Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden Weak Bisimulation is Sound and Complete for PCTL*. 355-370 2002 conf/concur/2002 CONCUR http://link.springer.de/link/service/series/0558/bibs/2421/24210355.htm db/conf/concur/concur2002.html#DesharnaisGJP02