dc.contributor.convenor | Mike Reed | |
dc.contributor.author | Dromey, Geoff | |
dc.contributor.editor | X.Chen, Z.Liu, M.Reed | |
dc.date.accessioned | 2017-05-03T11:13:58Z | |
dc.date.available | 2017-05-03T11:13:58Z | |
dc.date.issued | 2006 | |
dc.date.modified | 2007-08-02T21:47:30Z | |
dc.identifier.uri | http://hdl.handle.net/10072/11863 | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 129407 bytes | |
dc.format.extent | 51770 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | UNU/IIST United Nations University | |
dc.publisher.place | Macau | |
dc.publisher.uri | http://www.iist.unu.edu/www/workshop/AWCVS2006/ | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | Asian Working Conference on Verified Software (AWCVS’06) | |
dc.relation.ispartofconferencetitle | Asian Working Conference on Verified Software (AWCVS’06) | |
dc.relation.ispartofdatefrom | 2006-10-29 | |
dc.relation.ispartofdateto | 2006-10-31 | |
dc.relation.ispartoflocation | Macau | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280302 | |
dc.title | Scaleable Formalization of Imperfect Knowledge | |
dc.type | Conference output | |
dc.type.description | E2 - Conferences (Non Refereed) | |
dc.type.code | E - 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.issued | 2006 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Dromey, Geoff | |