Mario Bravetti

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 36

Top Topics

Process Algebra

Top Venues

J. Log. Algebraic Methods Program.

Softw. Syst. Model.

Publications