Hierarchical Combination of Intruder Theories

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/11805618_9 ◽

2006 ◽

pp. 108-122 ◽

Cited By ~ 8

Author(s):

Yannick Chevalier ◽

Michaël Rusinowitch