M. Spivey. The Z Notation (second edition). Prentice Hall International: Hemel Hempstead, England, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Unifying Agent Systems - d'Inverno, Luck (2003) (Correct)
The Gaia Methodology For Agent-Oriented Analysis And Design - Wooldridge, Jennings, Kinny (2000) (158 citations) (Correct)
Agent-Oriented Software Engineering: The State of the Art - Wooldridge, Ciancarini (2000) (39 citations) (Correct)
The Gaia Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings, Kinny (2000) (158 citations) (Correct)
A Representation for Clinical Procedures - Todd (1996) (Correct)
A Formal Specification of dMARS - d'Inverno, Kinny, Luck, Wooldridge (1997) (28 citations) (Correct)
Agent-Based Software Engineering - Wooldridge (1997) (36 citations) (Correct)
The Gaia Methodology for Agent-Oriented Analysis and Design - Wooldridge, al. (2000) (158 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC