<
previous
| 5 / 12 |
next
>
back
Stefan Blom: Distributed Markovian Bisimulation aimed at CSL Model Checking
PDMC'08, March 29, 2008, Budapest, Hungary