1. Regular Tree Model Checking;Abdulla,2002
2. Simulation-Based Iteration of Tree Transducers;Abdulla,2005
3. Partial-Order Reduction in Symbolic State Space Exploration;Alur,1997
4. Verifying systems with infinite but regular state spaces;Boigelot,1998
5. Regular Model Checking;Bouajjani,2000