Duality for Labelled Markov Processes

Библиографические подробности
Главные авторы: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Формат: Conference item
Опубликовано: Springer Verlag 2004