skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 2 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Maria Luisa Villani  [Clear All Filters]
2004
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular verification of abstract software descriptions", First Conference on the PRInciples of Software Engineering (PRISE'04), Buenos Aires, pp. 61-70, 2004.
2003
Gradara, S., A. Santone, and M. Luisa Villani, "A* for Deadlock Detection in CCS processes", Concurrency Specification and Programming, 2003, Czarna, Poland, pp. 182-193, 2003.