Search results for: A. Scedrov
Lecture Notes in Computer Science > Software Security — Theories and Systems > Multiset Rewriting for Protocol Analysis > 356-383
Electronic Notes in Theoretical Computer Science > 2001 > 45 > Complete > 280-310
Lecture Notes in Computer Science > Software Security — Theories and Systems > Multiset Rewriting for Protocol Analysis > 356-383
Electronic Notes in Theoretical Computer Science > 2001 > 45 > Complete > 280-310