Publisher
Springer International Publishing
Reference37 articles.
1. Lecture Notes in Computer Science;K Abd Elkader,2016
2. Andersen, H.: Partial model checking. In: LICS, pp. 398–407. IEEE Computer Society Press (1995)
3. Anderson, J.H., Kim, Y.J., Herman, T.: Shared-memory mutual exclusion: major research trends since 1986. Distrib. Comput. 16(2–3), 75–110 (2003)
4. ASCI: The Distributed ASCI Supercomputer DAS4. http://www.cs.vu.nl/das4/ . Accessed 09-08-2017
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献