APA (7th ed.) Citation

Bernardo, M., Esposito, A., & Mezzina, C. A. (2024). Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings.

Chicago Style (17th ed.) Citation

Bernardo, Marco, Andrea Esposito, and Claudio A. Mezzina. Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings. 2024.

MLA (9th ed.) Citation

Bernardo, Marco, et al. Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings. 2024.