%0 Journal Article %1 journals/fmsd/MendlerSB12 %A Mendler, Michael %A Shiple, Thomas R. %A Berry, Gérard %D 2012 %J Formal Methods Syst. Des. %K dblp %N 3 %P 283-329 %T Constructive Boolean circuits and the exactness of timed ternary simulation. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd40.html#MendlerSB12 %V 40

@article{journals/fmsd/MendlerSB12, added-at = {2020-03-13T00:00:00.000+0100}, author = {Mendler, Michael and Shiple, Thomas R. and Berry, Gérard}, biburl = {https://www.bibsonomy.org/bibtex/2de57f07555bed6e9dbad521638ec2bed/dblp}, ee = {https://doi.org/10.1007/s10703-012-0144-6}, interhash = {4827eb6490038b29d23ae1bc73c5265e}, intrahash = {de57f07555bed6e9dbad521638ec2bed}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {283-329}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {Constructive Boolean circuits and the exactness of timed ternary simulation.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd40.html#MendlerSB12}, volume = 40, year = 2012 }