Login / Signup

A Case Study in Analytic Protocol Analysis in ACL2.

Max von HippelPanagiotis ManoliosKenneth L. McMillanCristina Nita-RotaruLenore D. Zuck
Published in: CoRR (2023)
Keyphrases
  • lightweight
  • quantitative analysis
  • database
  • data mining
  • artificial intelligence
  • cooperative
  • computational model
  • multi party