Author: Barbanera F. Berardi S.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 407-428
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
A Student-
By Diamantopoulos K. Vrontos I.
Computational Economics, Vol. 35, Iss. 1, 2010-01 ,pp. :
Model checking the full modal mu-calculus for infinite sequential processes
Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. :