Author:
Klein Joachim,Baier Christel,Chrszon Philipp,Daum Marcus, Dubslaff Clemens,Klüppelholz Sascha,Märcker Steffen,Müller David
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lecture Notes in Computer Science;S Andova,2003
2. Lecture Notes in Computer Science;T Babiak,2015
3. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. Formal Methods Syst. Des. 10(2/3), 171–206 (1997)
4. Lecture Notes in Computer Science;C Baier,1997
5. Lecture Notes in Computer Science;C Baier,2014
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献