Cita APA

Do, C. M., Riesco, A., Ogata, K., & Escobar Román, S. (2025). Parallel Maude-NPA for Cryptographic Protocol Analysis.

Citación estilo Chicago

Do, Canh Minh, Adrian Riesco, Kazuhiro Ogata, y Santiago|||0000-0002-3550-4781 Escobar Román. Parallel Maude-NPA for Cryptographic Protocol Analysis. 2025.

Cita MLA

Do, Canh Minh, Adrian Riesco, Kazuhiro Ogata, y Santiago|||0000-0002-3550-4781 Escobar Román. Parallel Maude-NPA for Cryptographic Protocol Analysis. 2025.