Author:
Sheini Hossein M.,Sakallah Karem A.
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Ackermann, W.: Solvable cases of the decision problem. In: Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam (1954)
2. Amon, T., Borriello, G., Hu, T., Liu, J.: Symbolic timing verification of timing diagrams using presburger formulas. In: DAC 1997, pp. 226–231 (1997)
3. Ario SMT Solver, http://www.eecs.umich.edu/~ario/
4. Lecture Notes in Computer Science;S. Berezin,2003
5. Lecture Notes in Computer Science;M. Bozzano,2005
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献