Author:
Topnik Christian,Wilhelm Eva,Margaria Tiziana,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Accellera Organization, Inc. Accellera Property Specification Language 1.1 Reference Manual (2004)
2. Lecture Notes in Computer Science;D.A. Basin,1995
3. Church, A.: Logic, arithmetic and automata. In: Proc. Intern. Congr. Math., pp. 23–35. Almqvist, Wiksells (1963)
4. Drechsler, R., Becker, B.: Binary Decision Diagrams: Theory and Implementation. Springer, Heidelberg (1998)
5. Jörges, S., Margaria, T., Steffen, B.: FormulaBuilder: A Tool for Graph-based Modelling and Generation of Formulae. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering (2006)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献