2002
Report
Open Access
Towards model checking a spi-calculus dialect
Gnesi S., Latella D., Lenzini G.
Model checking spi-calculus Security protocols
An abstract is not available
Source: ISTI Technical reports, 2002
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160630,
title = {Towards model checking a spi-calculus dialect},
author = {Gnesi S. and Latella D. and Lenzini G.},
institution = {ISTI Technical reports, 2002},
year = {2002}
}
0000-0002-0139-0421