Improved Algorithms for the Automata-Based Approach to Model-Checking.

Laurent Doyen, Jean-Franois Raskin

Browse the full TACAS paper archive.