Giovanni Auditore

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Concurrent Systems

Statistical Model

Verification Method

Top Venues

J. Electron. Test.

Publications