Author:
Nakamura Hirofumi,Kojima Kensuke,Suenaga Kohei,Igarashi Atsushi
Publisher
Springer International Publishing
Reference24 articles.
1. Asada, K., Sato, R., Kobayashi, N.: Verifying relational properties of functional programs by first-order refinement. In: PEPM 2015, pp. 61–72 (2015)
2. Beauxis, R., Mimram, S.: A non-standard semantics for Kahn networks in continuous time. In: CSL 2011, pp. 35–50 (2011)
3. Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3), 877–910 (2012)
4. Bliudze, S., Krob, D.: Modelling of complex systems: systems as dataflow machines. Fundam. Inform. 91(2), 251–274 (2009)
5. Cowles, J.R., Gamboa, R.: Equivalence of the traditional and non-standard definitions of concepts from real analysis. In: Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, pp. 89–100 (2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献