EEMCS

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

EEMCS EPrints Service


Editor: Degano, P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2010

Degano, P. and Etalle, S. and Guttman, J., ed. (2010) Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers. Lecture Notes in Computer Science 6561. Springer Verlag, Berlin. ISBN 978-3-642-19751-2

2009

Spiessens, F. and den Hartog, J.I. and Etalle, S. (2009) Know what you trust. In: Formal Aspects in Security and Trust, 5th International Workshop, Malaga, Spain. pp. 129-142. Lecture Notes in Computer Science 5491. Springer Verlag. ISBN 978-3-642-01464-2

2008

Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science 5065. Springer Verlag, Berlin, pp. 114-132. ISSN 1611-3349 ISBN 978-3-540-68676-7

This list was generated on Mon Mar 20 00:02:52 CET 2017.