Compositional SCC Analysis for Language Emptiness.

Sun, 01 Jan 2006 00:00:00 +0100

Chao Wang, Roderick Bloem , Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. 28(1): 5-36 (2006)