Author:
Mittermayr Robert,Blieberger Johann
Publisher
Springer International Publishing
Reference24 articles.
1. Aiken, A., Gay, D., Barrier inference. In: POPL, pp. 342–354 (1998)
2. Classics in Applied Mathematics;R Bellman,1997
3. Brukardt, R.L. (ed): Annotated Ada Reference Manual, ISO/IEC 8652:2012(E) with COR.1:2016 (2016).
http://www.ada-auth.org/standards/aarm12_w_tc1/AA-Final.pdf
4. Buchholz, P., Kemper, P.: Efficient computation and representation of large reachability sets for composed automata. Discrete Event Dyn. Syst. 12(3), 265–286 (2002)
5. Lecture Notes in Computer Science;B Burgstaller,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献