Duality for Labelled Markov Processes

書誌詳細
主要な著者: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
フォーマット: Conference item
出版事項: Springer Verlag 2004