Title of article
Symbolic protocol analysis for monoidal equational theories
Author/Authors
Stéphanie Delaune، نويسنده , , Pascal Lafourcade، نويسنده , , Denis Lugiez، نويسنده , , Ralf Treinen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
40
From page
312
To page
351
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262463
Link To Document