Testing for Simulation and Bisimulation in Labelled Markov Processes (2003)
by
Franck van Breugel
,
Michael Mislove
,
Joël Ouaknine
,
James Worrell
Document Versions
| Testing for Simulation and Bisimulation in Labelled Markov Processes –Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell — 2003 |
