dc.contributor.author | Luo, X | |
dc.contributor.author | Su, K | |
dc.contributor.author | Sattar, A | |
dc.contributor.author | Chen, Q | |
dc.contributor.author | Lv, G | |
dc.date.accessioned | 2017-05-03T14:39:38Z | |
dc.date.available | 2017-05-03T14:39:38Z | |
dc.date.issued | 2005 | |
dc.date.modified | 2007-03-21T21:28:12Z | |
dc.identifier.uri | http://hdl.handle.net/10072/2614 | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | ACM | |
dc.publisher.place | New York, N.Y. | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005) | |
dc.relation.ispartofconferencetitle | Proceedings of the International Conference on Autonomous Agents | |
dc.relation.ispartofdatefrom | 2005-07-25 | |
dc.relation.ispartofdateto | 2005-07-29 | |
dc.relation.ispartoflocation | Utrecht, The Netherlands | |
dc.relation.ispartofpagefrom | 1243 | |
dc.relation.ispartofpageto | 1244 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280213 | |
dc.title | Bounded model Checking knowledge and branching time in synchronous multi-agent systems | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.date.issued | 2005 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Sattar, Abdul | |
gro.griffith.author | Su, Kaile | |