EEMCS

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

EEMCS EPrints Service


Editor: Hermenegildo, M.V.
Home Policy Brochure Browse Search User Area Contact Help

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. 239-265. 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 Mon May 29 01:22:16 CEST 2017.