Suman Roy, Bhaskar Chakraborty. A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems. In Oscar H. Ibarra, Hsu-Chun Yen, editors, Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Volume 4094 of Lecture Notes in Computer Science, pages 277-278, Springer, 2006. [doi]
Abstract is missing.