Model Checking Games for the Quantitative  -Calculus

ISSN： 1432-4350

Source： Theory of Computing Systems, Vol.47, Iss.3, 2010-10, pp. : 696-719

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

Abstract

Related content

Minimum distance regression model checking

By Koul H.L. Ni P.

Journal of Statistical Planning and Inference, Vol. 119, Iss. 1, 2004-01 ,pp. : 109-141

Elsevier

Access to resources Recommend Favorite

Sheaves, Games, and Model Completions

Bulletin of Symbolic Logic, Vol. 10, Iss. 2, 2004-06 ,pp. : 216-218

Cambridge University Press

Access to resources Recommend Favorite

Generalized Model-Checking over Locally Tree-Decomposable Classes

By Frick Markus

Theory of Computing Systems, Vol. 37, Iss. 1, 2004-01 ,pp. : 157-191

Springer Publishing Company

Access to resources Recommend Favorite

Probabilistic verification of a biodiesel production system using statistical model checking

Mathematical and Computer Modelling of Dynamical Systems, Vol. 20, Iss. 5, 2014-09 ,pp. : 452-469

Taylor & Francis Ltd

Access to resources Recommend Favorite

PDL with intersection and converse: satisfiability and infinite-state model checking

The Journal of Symbolic Logic, Vol. 74, Iss. 1, 2009-03 ,pp. : 279-314

Cambridge University Press

Access to resources Recommend Favorite