1. Abdulla, P.A., Čerāns K., Jonsson, B., Tsay, Y-K.: General decidability theorems for infinite-state systems. In: Proceedings LICS ’96, 11th IEEE International Symposium on Logic in Computer Science, pp. 313–321. IEEE, Berlin (1996)
2. Abdulla, P.A., Ben Henda, N., Delzanno, G., Rezine, A.: Regular model checking without transducers (on efficient verification of parameterized systems). In: Proceedings TACAS ’07, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 4424, pp. 721–736. Springer, Berlin (2007)
3. Abdulla, P.A.; Jonsson, B.: Verifying programs with unreliable channels. In: Proceeding LICS ’93, 8th IEEE International Symposium on Logic in Computer Science, pp. 160–170. IEEE, Berlin (1993)
4. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
5. Atig, M.F., Bouajjani, A., Burckhardt, S., Musuvathi, M.: On the verification problem for weak memory models. In: POPL, pp. 7–18. ACM, New York (2010)