Bisimulation for Labelled Markov Processes

   page       BibTeX_logo.png   
José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation 179(2), pages 163193
2002

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY