Show simple item record

dc.contributor.authorLuo, X
dc.contributor.authorSu, K
dc.contributor.authorSattar, A
dc.contributor.authorChen, Q
dc.contributor.authorLv, G
dc.date.accessioned2017-05-03T14:39:38Z
dc.date.available2017-05-03T14:39:38Z
dc.date.issued2005
dc.date.modified2007-03-21T21:28:12Z
dc.identifier.urihttp://hdl.handle.net/10072/2614
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherACM
dc.publisher.placeNew York, N.Y.
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)
dc.relation.ispartofconferencetitleProceedings of the International Conference on Autonomous Agents
dc.relation.ispartofdatefrom2005-07-25
dc.relation.ispartofdateto2005-07-29
dc.relation.ispartoflocationUtrecht, The Netherlands
dc.relation.ispartofpagefrom1243
dc.relation.ispartofpageto1244
dc.rights.retentionY
dc.subject.fieldofresearchcode280213
dc.titleBounded model Checking knowledge and branching time in synchronous multi-agent systems
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.date.issued2005
gro.hasfulltextNo Full Text
gro.griffith.authorSattar, Abdul
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record