EEMCS

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

EEMCS EPrints Service


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

Number of items: 4.

2005

Corin, R.J. and Saptawijaya, A. and Etalle, S. (2005) PS-LTL for Constraint-Based Security Protocol Analysis. In: Logic Programming, 21st International Conference, ICLP 2005, October 2-5, 2005, Sitges, Spain. pp. 439-440. Electronic Notes in Theoretical Computer Science 3668. Springer Verlag. ISBN 3-540-29208-X

2002

Delzanno, G. and Etalle, S. and Gabbrielli, M., ed. (2002) 2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE). Report Type UNSPECIFIED 94, ISSN 0109-9779

2001

Etalle, S. and Gabbrielli, M., ed. (2001) ICLP01 workshop on Specification, Verification and Analysis of Emerging Technologies (SAVE). Report Type UNSPECIFIED Number UNSPECIFIED,

1995

Etalle, S. (1995) A Transformation System for Modular CLP Programs. In: 12th Int. Conf. on Logic Programming (ICLP), Tokyo, Japan. pp. 681-695. MIT Press. ISBN 0-262-69177-9

This list was generated on Mon May 29 00:34:25 CEST 2017.