Searching for "Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
by Michael Luck, Mark d'Inverno — 1995 — ZUM'95: 9TH INTERNATIONAL CONFERENCE OF Z USERS, LECTURE NOTES IN COMPUTER SCIENCE
… in Computer Science, 967, 47-62, Springer-Verlag, Heidelberg, 1995 Structuring a Z Specification to Provide a…
Cited by 9 (6 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB