Author： Smith S.F.
Publisher： Springer Publishing Company
ISSN： 1388-3690
Source： LISP and Symbolic Computation, Vol.15, Iss.4, 2002-12, pp. : 301-348
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
Access to resources
Recommend
Algebraic specification of reactive systems
By Broy M.
Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. :
Dynamic specification of open agent systems
Journal of Logic and Computation, Vol. 22, Iss. 6, 2012-12 ,pp. :
Minds and Machines, Vol. 21, Iss. 2, 2011-05 ,pp. :
Specification and Timing Analysis of Real-Time Systems
Real-Time Systems, Vol. 28, Iss. 1, 2004-10 ,pp. :