From the research index
The paper comes from the research index. It wasn’t submitted here.
Journal article
Logic-Based Agent Verification
Michael Fisher, Munindar Singh, Diana Spears and 1 other
Journal of Applied Logic1 Jun 2007Open access
Journal articleOpen accessFrom the research index
Logic-Based Agent Verification
Michael Fisher, Munindar Singh, Diana Spears and 1 other · Journal of Applied Logic · 1 Jun 2007
Identifiers
Discussion
Citations
5Cited by
8References
Details
- Authors
- Michael Fisher, Munindar Singh, Diana Spears, Mike Wooldridge
- Published
- 1 Jun 2007
- Publisher
- Elsevier BV
- Issue
- Volume 5 · Issue 2 · Pages 193–195
- ISSN
- 1570-8683
- Language
- EN