2002
Contribution to conference
Metadata Only Access
A BRUTUS logic for the Spi-Calculus
Gnesi S, Latella D, Lenzini G
Spi-calculus
An abstract is not available
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:120431,
title = {A BRUTUS logic for the Spi-Calculus},
author = {Gnesi S and Latella D and Lenzini G},
year = {2002}
}CNR authorsLaboratories
0000-0002-0139-0421CNR IRIS