Rares A. Dobre

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Human Communication

Description Language

Top Venues

Publications

Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols. RV (2023)
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols. CoRR (2023)