EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Gadducci, F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2016

Rensink, A. (2016) Verification Techniques for Graph Rewriting (Tutorial). (Invited) In: Verification of Evolving Graph Structures, 1-6 Nov 2015, Dagstuhl, Germany. pp. 18-18. Dagstuhl Reports 5 (11). Dagstuhl Publishing. ISSN 2192-5283

2006

Dekker, M.A.C. and Etalle, S. (2006) Audit-Based Access Control for Electronic Health Records. In: Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA), 16-17 Sept 2006, Bertinoro, Italy. pp. 221-236. Elsevier Electronic Notes in Theoretical Computer Science 168. Elsevier. ISSN 1571-0661

This list was generated on Mon May 22 00:07:04 CEST 2017.