For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness Condition FP 3

By Cremanns R.   Otto F.  

Journal of Symbolic Computation, Vol. 22, Iss. 2, 1996-02 ,pp. : 155-177

Academic Press

Access to resources Recommend Favorite

Adequate Sets of Temporal Connectives in CTL

By Martin A.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-11

Elsevier

Access to resources Recommend Favorite

CTL^* model checking on a shared-memory architecture

By Inggs Cornelia   Barringer Howard  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 135-155

Springer Publishing Company

Access to resources Recommend Favorite

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

Access to resources Recommend Favorite

CTL-property Transformations along an Incremental Design Process

By Braunstein Cécile   Encrenaz Emmanuelle  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 77-88

Springer Publishing Company

Access to resources Recommend Favorite