Luiz Fernadez
Luiz Fernadez
Affiliation: Universidade Federal do Rio de Janeiro
Pages in this Program
Dynamic Logic with Parallel Operator for Verifying Communication Protocols
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑