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 |

originated at the
University of Bamberg
University of Bamberg