Extracting Exact Time Bounds From Logical Proofs (2002)

Cached

Download Links

by Mauro Ferrari , Camillo Fiorentini , Mario Ornaghi
Venue:LOPSTR 2001, volume 2372 of LNCS
Citations:1 - 1 self