Duality for Labelled Markov Processes

Bibliografische gegevens
Hoofdauteurs: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Formaat: Conference item
Gepubliceerd in: Springer Verlag 2004