Cita APA (7a ed.)

Nasrabadi, F., Künnemann, R., & Nemati, H. (2025). Symbolic Parallel Composition for Multi-language Protocol Verification.

Cita Chicago Style (17a ed.)

Nasrabadi, Faezeh, Robert Künnemann, y Hamed Nemati. Symbolic Parallel Composition for Multi-language Protocol Verification. 2025.

Cita MLA (9a ed.)

Nasrabadi, Faezeh, et al. Symbolic Parallel Composition for Multi-language Protocol Verification. 2025.