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

Pubblicazioni di ateneo

Found 1 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Roberto Barbuti  [Clear All Filters]
1997
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus: New modal operators for proving properties on reduced transition systems", Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE): Springer, pp. 519–534, 1997.