Formalization and Automated reasoning about a Complex Signalling Network
Contributo in Atti di convegno
Data di Pubblicazione:
2011
Tipologia CRIS:
14.d.3 Contributi in extenso in Atti di convegno
Elenco autori:
Annamaria, Basile; Felice, Maria Rosa; Provetti, Alessandro
Link alla scheda completa:
Titolo del libro:
26th Italian Conference on Computational Logic, CILC 2011
Pubblicato in: