Author:
Nguyen Tien Thao,Maignan Luidnel
Publisher
Springer International Publishing
Reference14 articles.
1. Balzer, R.: An 8-state minimal time solution to the firing squad synchronization problem. Inf. Control 10(1), 22–42 (1967)
2. Clergue, M., Vérel, S., Formenti, E.: An iterated local search to find many solutions of the 6-states firing squad synchronization problem. Appl. Soft Comput. 66, 449–461 (2018)
3. Duprat, J.: Proof of correctness of the Mazoyer’s solution of the firing squad problem in Coq. Research Report LIP RR-2002-14, Laboratoire de l’informatique du parallélisme (2002)
4. Gerken, H.D.: Über Synchronisationsprobleme bei Zellularautomaten. Diplomarbeit, Institut fur Theoretische Informatik, Technische Universität Braunschweig, 50 (1987)
5. Lecture Notes in Computer Science;L Maignan,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献