Login / Signup
A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation.
Abusaleh M. Jabir
Dhiraj K. Pradhan
T. L. Rajaprabhu
Ashutosh Kumar Singh
Published in:
IEEE Trans. Computers (2007)
Keyphrases
</>
multiple output
multiple input
simulation model
model checking
bayesian networks
relational databases