Formula Based Abstractions of Transition Systems for Real-Time Model Checking.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Browse the full FM paper archive.