Mendler, MichaelMichaelMendlerShiple, Thomas R.Thomas R.ShipleBerry, GérardGérardBerry2019-09-192013-02-1120120925-9856https://fis.uni-bamberg.de/handle/uniba/1113engConstructive Boolean circuits and the exactness of timed ternary simulationarticle10.1007/s10703-012-0144-6http://link.springer.com/article/10.1007/s10703-012-0144-6