Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2006
Delzanno, G. and Etalle, S. and Gabbrielli, M.
(2006)
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.
Theory and Practice of Logic Programming, 6 (3).
pp. 225-226.
ISSN 1471-0684
*** ISI Impact 1,250 ***
2001
Delzanno, G. and Etalle, S.
(2001)
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.
In: 11th Int. Logic Based Program Synthesis and Transformation (LOPSTR), Paphos, Greece.
pp. 76-90.
Springer-Verlag.
ISSN 0302-9743
ISBN 3-540-43915-3
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||