Nasrabadi, F., Künnemann, R., & Nemati, H. (2025). Symbolic Parallel Composition for Multi-language Protocol Verification.
Chicago-Zitierstil (17. Ausg.)Nasrabadi, Faezeh, Robert Künnemann, und Hamed Nemati. Symbolic Parallel Composition for Multi-language Protocol Verification. 2025.
MLA-Zitierstil (9. Ausg.)Nasrabadi, Faezeh, et al. Symbolic Parallel Composition for Multi-language Protocol Verification. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.