Creating Bchi Automata for Multi-valued Model Checking.

Stefan J. J. Vijzelaar, Wan J. Fokkink

Browse the full FORTE paper archive.