Scaleable Formalization of Imperfect Knowledge

Aboriginal and Torres Strait Islander Peoples are advised the Griffith Research Online collection may contain images, voices and names of people who are deceased. Some language and materials may be considered inappropriate, reflecting the views of the period in which it was produced. While this language has been retained to preserve historical context, these are not the views of Griffith University.

Scaleable Formalization of Imperfect Knowledge

Files

Dromey-AWCVS-2006.pdf (126.37 KB)

Author(s)

Dromey, Geoff

Griffith University Author(s)

Editor(s)

X.Chen, Z.Liu, M.Reed

Date

2006

Size

129407 bytes

51770 bytes

File type(s)

application/pdf

text/plain

Location

Macau

Conference Title

Asian Working Conference on Verified Software (AWCVS’06)

Publisher link

http://www.iist.unu.edu/www/workshop/AWCVS2006/

Rights Statement

© 2006 United Nations University Press. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to the conference website.

Persistent link to this record

http://hdl.handle.net/10072/11863

Collections

Conference outputs