Author： Jonsson B. Yih-Kuen T.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.167, Iss.1, 1996-10, pp. : 47-72
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
SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION
By Kaneiwa Ken
Applied Artificial Intelligence, Vol. 24, Iss. 10, 2010-11 ,pp. :
Access to resources
Recommend
Deriving Liveness Goals from Temporal Logic Specifications
By Caleiro C. Saake G. Sernadas A.
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :
Vectorial languages and linear temporal logic
By Serre O.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :
Observational specifications and the indistinguishability assumption
By Bernot G. Bidoit M. Knapik T.
Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. :