Author:
Geeraerts G.,Raskin J.-F.,Van Begin L.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference27 articles.
1. P. Abdulla, A. Annichini, A. Bouajjani, Symbolic verification of lossy channel systems: application to the bounded retransmission protocol, in: Proceedings of the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’99), Lecture Notes in Computer Science, vol. 1579, Springer, Berlin, 1999, pp. 208–222.
2. P. Abdulla, A. Bouajjani, B. Jonsson, On-the-fly analysis of systems with unbounded, lossy FIFO channels, in: Proceedings of the 10th International Conference on Computer Aided Verification (CAV’98), Lecture Notes in Computer Science, vol. 1427, Springer, Berlin, 1998, pp. 305–318.
3. General decidability theorems for infinite-state systems;Abdulla,1996
4. Verifying programs with unreliable channels;Abdulla,1993
5. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献