An abstract interpreter for the specification language LOTOS
| Title | An abstract interpreter for the specification language LOTOS |
| Publication Type | Conference Paper |
| Year of Publication | 1994 |
| Authors | Fiore, F, Giannotti F |
| Conference Name | FORTE |
Knowledge Discovery and Data Mining Laboratory
Istituto di Scienza e Tecnologie dell'Informazione, CNRDipartimento di Informatica, Università di Pisa