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)
Institution: Professur für Grundlagen der Informatik
|
|