A Formal Specification of Automated Auditing of Trustworthy Trade procedures for Open Electronic Commerce, TRACK 6: Modeling Technologies and Intelligent Systems/ Logic Modeling

RWH Bons, F Dignum, RM Lee, DS Tan

Research output: Chapter/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationProceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences
EditorsD. - Nute, S.O. - Kimbrough
Place of PublicationMauwi, Hawaii
PublisherIEEE Computer Society
Number of pages10
Publication statusPublished - 1999

Cite this