DMCA

Weak Bisimulation is Sound and Complete for PCTL (2002)

by Josee Desharnais , Vineet Gupta , Prakash Panangaden , Radha Jagadeesan
Citations:25 - 0 self