Author： Arbab Farhad Baier Christel Boer Frank Rutten Jan
Publisher： Springer Publishing Company
ISSN： 1619-1366
Source： Software and Systems Modeling (SoSyM), Vol.6, Iss.1, 2007-03, pp. : 59-82
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Logical systems for structured specifications
Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. :
Access to resources
Recommend
Component Specifications for Robotics Integration
By Messina E. Horst J. Kramer T. Huang H. Michaloski J.
Autonomous Robots, Vol. 6, Iss. 3, 1999-06 ,pp. :
The Logical Approach to Temporal Reasoning
By Augusto J.C.
Artificial Intelligence Review, Vol. 16, Iss. 4, 2001-12 ,pp. :
On algebraic and logical specifications of classes of regular languages
Theoretical Computer Science, Vol. 298, Iss. 2, 2003-04 ,pp. :