DMCA

Symbolic Protocol Analysis for Monoidal Equational Theories (2006)

by Stéphanie Delaune , Pascal Lafourcade , Denis Lugiez , Ralf Treinen
Citations:18 - 6 self