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
URL: http://link.springer.com/article/10.1007/s10703...
Document Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/1113
Release Date: 19. December 2012