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

Pubblicazioni di ateneo

Found 2 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is Maria Luisa Villani  [Clear All Filters]
Conference Paper
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.
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.