Temporal logic-based specification and verification of trust models
Peter Herrmann
| Year of publication: |
2006
|
|---|---|
| Authors: | Herrmann, Peter |
| Published in: |
Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16 - 19, 2006 ; proceedings. - Berlin : Springer, ISBN 3-540-34295-8. - 2006, p. 105-119
|
| Subject: | Vertrauen | Confidence | Theorie | Theory |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Notes: | Literaturangaben |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003342135