Duality for Labelled Markov Processes

Detalles Bibliográficos
Main Authors: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
Formato: Conference item
Publicado: Springer Verlag 2004