Author： Serre O.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.310, Iss.1, 2004-01, pp. : 79-116
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
Writing out Unifiers in Linear Temporal Logic
Journal of Logic and Computation, Vol. 22, Iss. 5, 2012-10 ,pp. :
Access to resources
Recommend
Assumption/guarantee specifications in linear-time temporal logic
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :
SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION
By Kaneiwa Ken
Applied Artificial Intelligence, Vol. 24, Iss. 10, 2010-11 ,pp. :
Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 3, 1995-06 ,pp. :