Constructive Boolean circuits and the exactness of timed ternary simulation
Mendler, Michael; Shiple, Thomas R.; Berry, Gérard (2012): Constructive Boolean circuits and the exactness of timed ternary simulation, in: Formal methods in system design : an international journal, Dordrecht [u.a.]: Springer, Jg. 40, Nr. 3, S. 283–329, doi: 10.1007/s10703-012-0144-6.
Faculty/Chair:
Author:
 ;  ; 
Title of the Journal:
Formal methods in system design : an international journal
ISSN:
0925-9856
Publisher Information:
Year of publication:
2012
Volume:
40
Issue:
3
Pages:
Language:
English
DOI:
URL:
Type:
Article
URI:
Activation date:
February 11, 2013

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/1113