Login / Signup

LTL to Büchi Automata Translation: Fast and More Deterministic.

Tomás BabiakMojmír KretínskýVojtech RehákJan Strejcek
Published in: TACAS (2012)
Keyphrases