Login / Signup
Communication protocol analysis of transaction-level models using Satisfiability Modulo Theories.
Che-Wei Chang
Rainer Dömer
Published in:
ASP-DAC (2015)
Keyphrases
</>
communication protocol
neural network
learning algorithm
database systems
logic programs