TY - CONF T1 - An abstract interpreter for the specification language LOTOS T2 - FORTE Y1 - 1994 A1 - Franco Fiore A1 - Fosca Giannotti JF - FORTE ER -