author : Nicoletta De Francesco

Short works

• Formula Based Abstractions of Transition Systems for Real-Time Model Checking. 1999. (In FM'99 volume 1 )