Author:
Faghih Fathiyeh,Bonakdarpour Borzoo
Publisher
Springer International Publishing
Reference26 articles.
1. Z3: An efficient theorem prover.
http://research.microsoft.com/en-us/um/redmond/projects/z3/
2. Lecture Notes in Computer Science;B Bonakdarpour,2008
3. Devismes, S., Tixeuil, S., Yamashita, M.: Weak vs. self vs. probabilistic stabilization. In: International Conference on Distributed Computing Systems (ICDCS), pp. 681–688 (2008)
4. Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643–644 (1974)
5. Dijkstra, E.W.: A belated proof of self-stabilization. Distrib. Comput. 1(1), 5–6 (1986)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献