Testing for Simulation and Bisimulation in Labelled Markov Processes (2003)

Cached

Download Links

by Franck van Breugel , Michael Mislove , Joël Ouaknine , James Worrell

Documents Related by Co-Citation

No related documents identified.