Duality for Labelled Markov Processes

Bibliographische Detailangaben
Hauptverfasser: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Format: Conference item
Veröffentlicht: Springer Verlag 2004