Annamaria Basile

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Annamaria Basile, Maria Rosa Felice, Alessandro Provetti
Formalization and Automated reasoning about a Complex Signalling Network. CILC (2011)