Publisher
Springer International Publishing
Reference21 articles.
1. Althoen, S.C., McLaughlin, R.: Gauss-Jordan reduction: a brief history. Am. Math. Monthly 94(2), 130–142 (1987)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
3. Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: issue and challenges. Computer 39(10), 36–43 (2006)
4. Belady, L.A., Lehman, M.M.: A model of large program development. IBM Syst. J. 15(3), 225–252 (1976)
5. Bojanczyk, A.: Complexity of solving linear systems in different models of computation. SIAM J. Numer. Anal. 21(3), 591–603 (1984)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献