Publisher： Academic Press
ISSN： 0747-7171
Source： Journal of Symbolic Computation, Vol.22, Iss.5, 1996-11, pp. : 721-735
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
Executable Temporal Logic for Non-monotonic Reasoning
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :
Access to resources
Recommend
Editorial: Executable Temporal Logics
By Fisher M. Kono S. Orgun M.A.
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :
Verification of reactive systems using temporal logic with clocks
By Liu C. Orgun M.A.
Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. :
Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 3, 1995-06 ,pp. :