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

Pubblicazioni di ateneo

Found 2 results
Author Titolo Tipo [ Anno(Desc)]
Filters: First Letter Of Title is M and Author is Villani, Maria Luisa  [Clear All Filters]
2004
Gradara, S., A. Santone, M. Luisa Villani, and G. Vaglini, "Model checking multithreaded programs by means of reduced models", Electronic Notes in Theoretical Computer Science, vol. 110: Elsevier, pp. 55–74, 2004.
2008
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular formal verification of specifications of concurrent systems", Software Testing, Verification and Reliability, vol. 18, no. 1: Wiley Online Library, pp. 5–28, 2008.