bisimMarkov02


José Desharnais, Abbas Edalat, Prakash Panangaden

Information and Computation 179(2), pages 163193, 2002
@article{bisimMarkov02,
Author = {Desharnais, José and Edalat, Abbas and Panangaden, Prakash},
Journal = {Information and Computation},
Number = 2,
Pages = {163--193},
Title = {Bisimulation for Labelled Markov Processes},
Volume = 179,
Year = 2002}

Tags:
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY