Constructive Boolean circuits and the exactness of timed ternary simulation





Faculty/Professorship: Foundations of Computer Science  
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: 283-329 ; Illustrationen
Language(s): English
DOI: 10.1007/s10703-012-0144-6
URL: http://link.springer.com/article/10.1007/s10703...
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/1113
Year of publication: 11. February 2013