Inproceedings,

FSL - Fibred Security Language.

, , , and .
Normative Multi-Agent Systems, volume 09121 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews