1993
Conference article
Unknown
Gate splitting in LOTOS specifications using abstract interpretation
Giannotti F, Latella D
Source: TAPSOFT '93, pp. 437–452, Orsay, 1993
Publisher: Springer-Verlag, Berlin/Heidelberg, DEU
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:190784,
title = {Gate splitting in LOTOS specifications using abstract interpretation},
author = {Giannotti F and Latella D},
publisher = {Springer-Verlag, Berlin/Heidelberg, DEU},
booktitle = {TAPSOFT '93, pp. 437–452, Orsay, 1993},
year = {1993}
}
0000-0002-3257-9059CNR ExploRA