Extracting Exact Time Bounds from Logical Proofs.

Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi

Browse the full LOPSTR paper archive.