José Desharnais, Abbas Edalat, Prakash Panangaden

Information and Computation 179(2), pp. 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:
    

Pubblicazione

— autori/autrici

José Desharnais, Abbas Edalat, Prakash Panangaden

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Information and Computation

— volume/numero

179 (2)

— data di pubblicazione

2002

— pagine

163193

BibTeX

— BibTeX ID
bisimMarkov02
— BibTeX category
article

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