Author： Baumgartner Peter
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.47, Iss.2, 2011-08, pp. : 191-227
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On model checking for the -calculus and its fragments
By Emerson
Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. :
Access to resources
Recommend
Resolution and model building in the infinite-valued calculus of Lukasiewicz
Theoretical Computer Science, Vol. 200, Iss. 1, 1998-06 ,pp. :
Combined Model Calibration and Spatial Aggregation
By Grange Louis
Networks and Spatial Economics, Vol. 10, Iss. 4, 2010-12 ,pp. :
Model checking the full modal mu-calculus for infinite sequential processes
Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. :