Author： Varpaaniemi Kimmo
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.26, Iss.1, 2005-01, pp. : 45-67
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
Assumption/guarantee specifications in linear-time temporal logic
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :
Access to resources
Recommend
Linear ordering on graphs, anti-founded sets and polynomial time computability
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION
By Kaneiwa Ken
Applied Artificial Intelligence, Vol. 24, Iss. 10, 2010-11 ,pp. :