Publisher
Springer International Publishing
Reference47 articles.
1. Lecture Notes in Computer Science;PA Abdulla,1999
2. Lecture Notes in Computer Science;PA Abdulla,2002
3. Lecture Notes in Computer Science;PA Abdulla,2004
4. Lecture Notes in Computer Science.,2016
5. Alur, R., et al.: Syntax-guided synthesis. In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, 20–23 October 2013, pp. 1–8 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献