Login / Signup

Communication protocol analysis of transaction-level models using Satisfiability Modulo Theories.

Che-Wei ChangRainer Dömer
Published in: ASP-DAC (2015)
Keyphrases
  • communication protocol
  • neural network
  • learning algorithm
  • database systems
  • logic programs