A Parametric Analysis of the State Explosion Problem in Model Checking.

Stphane Demri, Franois Laroussinie, Philippe Schnoebelen

Browse the full STACS paper archive.