Author:
Santone Antonella,Vaglini Gigliola
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference48 articles.
1. Alur, R., Wang, B.-Y.: “Next” heuristic for on-the-fly model checking. In: Proceedings of the 10th International Conference on Concurrency Theory (CONCUR’99). Lecture Notes in Computer Science, vol. 1664, pp. 98–113 (1999)
2. Anastasi G., Bartoli A., De Francesco N.: Efficient verification of a multicast protocol for mobile computing. Comput. J. 44(1), 21–30 (2001)
3. Anastasi, G., Spadoni, F., Bartoli, A.: Group multicast in distributed mobile systems with unreliable wireless network. In: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS’99), IEEE Computer Society, vol. 14, pp. 14–23 (1999)
4. Arnold, A., Begay, D., Crubille, P.: Construction and Analysis of Transition Systems with MEC (Chapter 6). World Scientific, Singapore (1994)
5. Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus: new modal operators for proving properties on reduced transition systems. In: Proceedings of FORTE X/PSTV XVII’97, pp. 519–534. Chapman & Hall, London (1997)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献