Login / Signup

On Refinement of Büchi Automata for Explicit Model Checking.

Frantisek BlahoudekAlexandre Duret-LutzVojtech RujbrJan Strejcek
Published in: SPIN (2015)
Keyphrases