id: 70354787
dt: a
an: 70354787
au: Zhang, Lijun; Hermanns, Holger
ti: Deciding simulations on probabilistic automata
so: ATVA, 207-222 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-75596-8_16