Login / Signup

Model checking memoryful linear-time logics over one-counter automata.

Stéphane DemriRanko LazicArnaud Sangnier
Published in: Theor. Comput. Sci. (2010)
Keyphrases