The following publications are possibly variants of this publication:
- Tree regular model checking: A simulation-based approachParosh Aziz Abdulla, Axel Legay, Julien d Orso, Ahmed Rezine. jlp, 69(1-2):93-121, 2006. [doi]
- A Survey of Regular Model CheckingParosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena. concur 2004: 35-48 [doi]
- Algorithmic Improvements in Regular Model CheckingParosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d Orso. cav 2003: 236-248 [doi]
- Regular Model Checking for LTL(MSO)Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d Orso, Mayank Saksena. cav 2004: 348-360 [doi]
- Regular Hedge Model CheckingJulien d Orso, Tayssir Touili. ifipTCS 2006: 213-230 [doi]
- Regular Model CheckingAhmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili. cav 2000: 403-418