Mendler, Michael ; Fairtlough, M.: Ternary simulation: A refinement of binary functions or abstraction of real-time behaviour?
In: Sheeran, M. ; Singh, S. (Hrsg.) : Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC`96). Berlin u.a. : Springer, 1996, S. 17 Seiten. (Springer Electronic Workshops in Computing)
|