Constructive Boolean circuits and the exactness of timed ternary simulation

Professorship/Faculty: Professur für Grundlagen der Informatik 
Author(s): Mendler, Michael ; Shiple, Thomas R.; Berry, Gérard
Title of the Journal: Formal methods in system design : an international journal
ISSN: 0925-9856
Publisher Information: Dordrecht [u.a.] : Springer
Year of publication: 2012
Volume: 40
Issue: 3
Pages / Size: 283 - 329 : Ill.
Language(s): English
Document Type: Article
Release Date: 19. December 2012