Author:
Blom Stefan,van de Pol Jaco
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lect Notes Comput Sci;R. Alur,1999
2. S. C. C. Blom. Partial τ-confluence for efficient state space generation. Technical Report SEN-R0123, CWI, Amsterdam, 2001.
3. Lect Notes Comput Sci;S. C. C. Blom,2001
4. M. Boasson. Control systems software. IEEE Transactions on Automatic Control, 38(7):1094–1106, July 1993.
5. D. Dolev, M. Klawe, and M. Rodeh. An O(n log n) unidirectional distributed algorithm for extrema finding in a circle. Journal of Algorithms, 3(3):245–260, September 1982.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献