Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 2011
Degano, P. and Etalle, S. and Guttman, J., ed.
(2011)
Formal Aspects of Security and Trust.
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 Thu May 24 05:59:39 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||