Publications
« back to the overview
|
|
Title: | Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341) |
Publication type: | Journal Articles |
Authors: | Accorsi R, Crampton J, Huth M, Rinderle-Ma S |
Year of publication: | 2013 |
Journal: | Dagstuhl Reports |
Volume: | 3 |
Issue: | 8 |
Pages: | 73 - 86 |
URL/DOI: | http://dx.doi.org/10.4230/DagRep.3.8.73 |