Author:
Gradara Sara,Santone Antonella,Villani Maria Luisa
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference46 articles.
1. Efficient verification of a multicast protocol for mobile computing;Anastasi;Comput. J.,2001
2. “Next” heuristic for on-the-fly model checking;Alur,1999
3. Group multicast in distributed mobile systems with unreliable wireless network;Anastasi,1999
4. Construction and Analysis of Transition Systems with MEC;Arnold,1994
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献