Title of article
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Author/Authors
Tom?? Br?zdil، نويسنده , , Anton?n Ku?era and Old?ich Stra?ovsk? ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
24
From page
131
To page
154
Journal title
acta Informatica
Serial Year
2008
Journal title
acta Informatica
Record number
287892
Link To Document