A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation

DOI10.1109/TC.2007.1056zbMath1390.68215MaRDI QIDQ4564200

Dhiraj K. Pradhan, Abusaleh M. Jabir, T. L. Rajaprabhu, Ashutosh Kumar Singh

Publication date: 12 June 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation