Duality for Labelled Markov Processes

Podrobná bibliografie
Hlavní autoři: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Médium: Conference item
Vydáno: Springer Verlag 2004