Login / Signup

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable.

Stéphane DemriArnaud Sangnier
Published in: FoSSaCS (2010)
Keyphrases