Concepedia

M. Panti L. Spalazzi

MP

Statistics

Publications

1

Citations

17

H-Index

1

Active since

2001

M. Panti L. Spalazzi is an author specializing in security verification, protocol analysis, and symbolic model checking.

Publications per year

2001–2001

1

1

1–1 of 1