Using Symbolic Substitution Logic as an Automated Design Procedure for QCA Arithmetic Circuits - Fey, Dietmar; Kleinert, Bruno (Proceedings FUTURE COMPUTING 2012 : The Fourth International Conference on Future Computational Technologies and Applications, 2012)
UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.IMMD3.usings