Symbolic guided search for CTL model checking.

Sat, 01 Jan 2000 00:00:00 +0100

Roderick Bloem , Kavita Ravi, Fabio Somenzi:
Symbolic guided search for CTL model checking. DAC 2000: 29-34