articles
Detail
Publication date: 1 de June, 2021Publication Encoding cryptographic primitives in a calculus with polyadic synchronization – Journal Journal of Automated Reasoning
Journal | Journal of Automated Reasoning |
---|---|
Publisher | Universitat Politècnica de Catalunya |
Pub. Date | 01/01/2010 |