Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions

Ismail Khalil-Ibrahim; Reinhard Kronsteiner; Gabriele Kotsis

Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions

Ismail Khalil-Ibrahim
, Reinhard Kronsteiner
, Gabriele Kotsis

Institute of Telecooperation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of 13th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2004, June 14-16, 2004, Modena, Italy
Number of pages	6
Publication status	Published - 2004

Fields of science

102 Computer Sciences
102002 Augmented reality
102006 Computer supported cooperative work (CSCW)
102013 Human-computer interaction
102015 Information systems
102021 Pervasive computing
102025 Distributed systems
102027 Web engineering
202038 Telecommunications

Cite this

@inproceedings{b39f8d51ead94b21b0e5da437fc56ae3,

title = "Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions",

author = "Ismail Khalil-Ibrahim and Reinhard Kronsteiner and Gabriele Kotsis",

year = "2004",

language = "English",

isbn = "0-7695-2183-5",

booktitle = "Proceedings of 13th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2004, June 14-16, 2004, Modena, Italy",

}

Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions. / Khalil-Ibrahim, Ismail; Kronsteiner, Reinhard; Kotsis, Gabriele.
Proceedings of 13th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2004, June 14-16, 2004, Modena, Italy. 2004.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions

AU - Khalil-Ibrahim, Ismail

AU - Kronsteiner, Reinhard

AU - Kotsis, Gabriele

PY - 2004

Y1 - 2004

M3 - Conference proceedings

SN - 0-7695-2183-5

BT - Proceedings of 13th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2004, June 14-16, 2004, Modena, Italy

ER -