Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2002
Corin, R.J. and Etalle, S.
(2002)
An Improved Constraint-based system for the verification of security protocols.
In: 9th Int. Static Analysis Symp. (SAS), Madrid, Spain.
pp. 326-341.
Springer-Verlag.
ISBN 3-540-44235-9
1995
McEvoy, H.E. and Hartel, P.H.
(1995)
Local Linear Logic for Locality Consciousness in Multiset Transformation.
In: 7th Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht, The Netherlands.
pp. 357-379.
Springer-Verlag.
ISBN 3-540-60359-X
This list was generated on Thu May 24 06:35:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||