Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses

- SSO login
- Home
- Page Index
- User Index
- Application Index
- Global
- Languages
  - Default Language
- What's New
- Wiki Index
Eng
Ita
Search

Publication
Bisimulation for Labelled Markov Processes

Bisimulation for Labelled Markov Processes

page

José Desharnais, Abbas Edalat, Prakash Panangaden

Information and Computation 179(2), pages 163~~193~~

2002

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

Powered by XWiki 15.10.5