%0 Conference Paper %B FORTE %D 1994 %T An abstract interpreter for the specification language LOTOS %A Franco Fiore %A Fosca Giannotti %B FORTE %P 309-323 %G eng