Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method
2014 ◽
Vol 530-531
◽
pp. 682-685
Keyword(s):
2007 ◽
Vol 1
(1)
◽
pp. 68-82
◽
Keyword(s):
1985 ◽
Vol 16
(3)
◽
pp. 262-268
◽
1993 ◽
Vol 78
(5)
◽
pp. 845-856
◽