1. R. Alur, R.K. Brayton, T.A. Henzinger, S. Qadeer, and S.K. Rajamani. Partial-order reduction in symbolic state space exploration. In O. Grumberg, editor, Proc. 9th Int. Conf. on Computer Aided Verification, volume 1254, pages 340–351, Haifa, Israel, 1997. Springer Verlag.
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5
th
IEEE Int. Symp. on Logic in Computer Science, pages 414-425, Philadelphia, 1990.
3. Parosh Aziz Abdulla, Karlis Čerāns, Bengt Jonsson, and Tsay Yih-Kuen. General decidability theorems for infinite-state systems. In Proc. 11
th
IEEE Int. Symp. on Logic in Computer Science, pages 313–321, 1996.
4. Parosh Aziz Abdulla and Bengt Jonsson. Verifying programs with unreliable channels. In Proc. 8
th
IEEE Int. Symp. on Logic in Computer Science, pages 160–170, 1993.
5. Parosh Aziz Abdulla, Mats Kindahl, and Doron Peled. An improved search strategy for Lossy Channel Systems. In Tadanori Mizuno, Nori Shiratori, Teruo Hegashino, and Atsushi Togashi, editors, FORTE X / PST V XVII '97, pages 251–264. Chapman and Hall, 1997.