1992
Conference article
Unknown
Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract)
Giannotti F, Latella D
Source: Journees de travail WSA'92 Analyse Statique, pp. 194–204, 1992
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:190785,
title = {Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract)},
author = {Giannotti F and Latella D},
booktitle = {Journees de travail WSA'92 Analyse Statique, pp. 194–204, 1992},
year = {1992}
}
0000-0002-3257-9059CNR ExploRA