Author:
Abdulla Parosh Aziz,Nylén Aletta
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Lect Notes Comput Sci;P. A. Abdulla,1998
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th IEEE Int. Symp. on Logic in Computer Science, pages 414–425, Philadelphia, 1990.
3. Parosh Aziz Abdulla, Karlis Čer3x0101;ns, Bengt Jonsson, and Tsay Yih-Kuen. General decidability theorems for infinite-state systems. In Proc. 11th IEEE Int. Symp. on Logic in Computer Science, pages 313–321, 1996.
4. Parosh Aziz Abdulla, Karlis Čerāns, Bengt Jonsson, and Tsay Yih-Kuen. General decidability theorems for infinite-state systems. In Proc. 11th IEEE Int. Symp. on Logic in Computer Science, pages 313–321, 1996. To appear in the journal of Information and Computation.
5. Lect Notes Comput Sci;R. Alur,1990
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献