Duality for Labelled Markov Processes

Bibliografiset tiedot
Päätekijät: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Aineistotyyppi: Conference item
Julkaistu: Springer Verlag 2004