Author： Stark Eugene W.
Publisher： Springer Publishing Company
ISSN： 1433-2779
Source： International Journal on Software Tools for Technology Transfer, Vol.5, Iss.4, 2004-05, pp. : 331-350
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
Access to resources
Recommend
An attribute-grammar framework for specifying the accessibility in Java programs
Computer Languages, Vol. 28, Iss. 2, 2002-12 ,pp. :
Specifying Coalgebras with Modal Logic
By Kurz A.
Electronic Notes in Theoretical Computer Science, Vol. 11, Iss. 1, 2004-01 ,pp. :
Specifying recursive agents with GDTs
By Mermet Bruno
Autonomous Agents and Multi-Agent Systems, Vol. 23, Iss. 2, 2011-09 ,pp. :