Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:17:53 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||