Author:
Nawaz M. Saqib,Sun Meng,Fournier-Viger Philippe
Publisher
Springer International Publishing
Reference33 articles.
1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reasoning 52(2), 191–213 (2014)
2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct.Comput. Sci. 14(3), 329–366 (2004)
3. Baier, C.: Probabilistic models for Reo connector circuits. J. Univ. Comput. Sci. 11(10), 1718–1748 (2005)
4. Lecture Notes in Computer Science;C Baier,2006
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JC Blanchette,2015
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献