Show simple item record

dc.contributor.convenorMike Reed
dc.contributor.authorDromey, Geoff
dc.contributor.editorX.Chen, Z.Liu, M.Reed
dc.date.accessioned2017-05-03T11:13:58Z
dc.date.available2017-05-03T11:13:58Z
dc.date.issued2006
dc.date.modified2007-08-02T21:47:30Z
dc.identifier.urihttp://hdl.handle.net/10072/11863
dc.description.publicationstatusYes
dc.format.extent129407 bytes
dc.format.extent51770 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.languageEnglish
dc.language.isoeng
dc.publisherUNU/IIST United Nations University
dc.publisher.placeMacau
dc.publisher.urihttp://www.iist.unu.edu/www/workshop/AWCVS2006/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameAsian Working Conference on Verified Software (AWCVS’06)
dc.relation.ispartofconferencetitleAsian Working Conference on Verified Software (AWCVS’06)
dc.relation.ispartofdatefrom2006-10-29
dc.relation.ispartofdateto2006-10-31
dc.relation.ispartoflocationMacau
dc.rights.retentionY
dc.subject.fieldofresearchcode280302
dc.titleScaleable Formalization of Imperfect Knowledge
dc.typeConference output
dc.type.descriptionE2 - Conferences (Non Refereed)
dc.type.codeE - Conference Publications
gro.rights.copyright© 2006 United Nations University Press. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to the conference website.
gro.date.issued2006
gro.hasfulltextFull Text
gro.griffith.authorDromey, Geoff


Files in 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