Verifying security protocols as planning in logic programming / Carlucci, Luigia; Massacci, F.. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - 2(4):(2001), pp. 542-580. [10.1145/383779.383785]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


