1996
Other
Unknown
Formal specification and verification of the inter-channel consistency network
Bernardeschi C., Fantechi A., Gnesi S.
Inter-channel consistency network
An abstract is not available
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:408495,
title = {Formal specification and verification of the inter-channel consistency network},
author = {Bernardeschi C. and Fantechi A. and Gnesi S.},
year = {1996}
}
0000-0002-4648-4667CNR ExploRA