Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Tomáš Brázdil, Antonín Kučera, Oldřich StražovskýVolume:
45
Language:
english
Pages:
24
DOI:
10.1007/s00236-007-0066-8
Date:
April, 2008
File:
PDF, 395 KB
english, 2008