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

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 proceeding › Chapter › Academic

Original language	Undefined/Unknown
Title of host publication	Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences
Editors	D. - Nute, S.O. - Kimbrough
Place of Publication	Mauwi, Hawaii
Publisher	IEEE Computer Society
Pages	1-10
Number of pages	10
Publication status	Published - 1999

Cite this

Bons, RWH., Dignum, F., Lee, RM., & Tan, DS. (1999). A Formal Specification of Automated Auditing of Trustworthy Trade procedures for Open Electronic Commerce, TRACK 6: Modeling Technologies and Intelligent Systems/ Logic Modeling. In D. - Nute, & S. O. - Kimbrough (Eds.), Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences (pp. 1-10). IEEE Computer Society.

Bons, RWH ; Dignum, F ; Lee, RM et al. / A Formal Specification of Automated Auditing of Trustworthy Trade procedures for Open Electronic Commerce, TRACK 6: Modeling Technologies and Intelligent Systems/ Logic Modeling. Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences. editor / D. - Nute ; S.O. - Kimbrough. Mauwi, Hawaii : IEEE Computer Society, 1999. pp. 1-10

@inbook{8c12cf503f394f27be696da0a60c60bc,

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

author = "RWH Bons and F Dignum and RM Lee and DS Tan",

year = "1999",

language = "Undefined/Unknown",

pages = "1--10",

editor = "{- Nute}, D. and {- Kimbrough}, S.O.",

booktitle = "Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences",

publisher = "IEEE Computer Society",

}

Bons, RWH, Dignum, F, Lee, RM & Tan, DS 1999, A Formal Specification of Automated Auditing of Trustworthy Trade procedures for Open Electronic Commerce, TRACK 6: Modeling Technologies and Intelligent Systems/ Logic Modeling. in D - Nute & SO - Kimbrough (eds), Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences. IEEE Computer Society, Mauwi, Hawaii, pp. 1-10.

A Formal Specification of Automated Auditing of Trustworthy Trade procedures for Open Electronic Commerce, TRACK 6: Modeling Technologies and Intelligent Systems/ Logic Modeling. / Bons, RWH; Dignum, F; Lee, RM et al.

Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences. ed. / D. - Nute; S.O. - Kimbrough. Mauwi, Hawaii : IEEE Computer Society, 1999. p. 1-10.

Research output: Chapter/Conference proceeding › Chapter › Academic

TY - CHAP

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

AU - Bons, RWH

AU - Dignum, F

AU - Lee, RM

AU - Tan, DS

PY - 1999

Y1 - 1999

M3 - Chapter

SP - 1

EP - 10

BT - Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences

A2 - - Nute, D.

A2 - - Kimbrough, S.O.

PB - IEEE Computer Society

CY - Mauwi, Hawaii

ER -

Bons RWH, Dignum F, Lee RM, Tan DS. A Formal Specification of Automated Auditing of Trustworthy Trade procedures for Open Electronic Commerce, TRACK 6: Modeling Technologies and Intelligent Systems/ Logic Modeling. In - Nute D, - Kimbrough SO, editors, Proceeding of: HICSS'99 - 32nd Hawaii International Conference on System Sciences. Mauwi, Hawaii: IEEE Computer Society. 1999. p. 1-10