Deciding probabilistic bisimilarity over infinite-state probabilistic systems

Author： Brázdil Tomáš Kučera Antonín Stražovský Oldřich

ISSN： 0001-5903

Source： Acta Informatica, Vol.45, Iss.2, 2008-04, pp. : 131-154

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Introduction: Special Section on Automated Verification of Infinite-State Systems

By Bharadwaj Ramesh Hall Robert J.

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 99-99

Springer Publishing Company

Access to resources Recommend Favorite

Adaptive Probabilistic Search Over Unstructured Peer-to-Peer Computing Systems

By Zhou Aoying

World Wide Web, Vol. 9, Iss. 4, 2006-12 ,pp. : 537-556

Springer Publishing Company

Access to resources Recommend Favorite

Inductively Verifying Invariant Properties of Parameterized Systems: Special Section on Automated Verification of Infinite-State Systems

By Roychoudhury Abhik

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 101-139

Springer Publishing Company

Access to resources Recommend Favorite

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System: Special Section on Automated Verification of Infinite-State Systems

By Apvrille L.

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 167-191

Springer Publishing Company

Access to resources Recommend Favorite

Desert Island Reading Assignment: Special Section on Automated Verification of Infinite-State Systems

By Wile David

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 193-196

Springer Publishing Company

Access to resources Recommend Favorite