author : Roberto Barbuti

Short works

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