To Store or Not to Store (2003)

by G Behrmann, K G Larsen, R Pelánek
Venue:In CAV, volume 2725 of LNCS