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:

Publication

— authors

José Desharnais, Abbas Edalat, Prakash Panangaden

— status

published

— sort

article in journal

Venue

— journal

Information and Computation

— volume

179

— issue

2

— pages

163193

— publication date

2002

BibTeX

— BibTeX ID
bisimMarkov02
— BibTeX category
article

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