Login / Signup

On Decidability of LTL+Past Model Checking for Process Rewrite Systems.

Mojmír KretínskýVojtech RehákJan Strejcek
Published in: INFINITY (2009)
Keyphrases