Document - Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract)

1992

Conference article Metadata Only Access

Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract)

Giannotti F, Latella D

Cite as

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},
	year = {1992}
}

CNR authors and affiliations

CNR authors

Latella, Diego
0000-0002-3257-9059

Download

CNR IRIS

Bibliographic record

Using abstract interpretation for gate splitting in LOTOS specifications (extended abstract)

Share

Cite as

CNR authors and affiliations

Download