Login / Signup
Protocol Analysis with Time and Space.
Damián Aparicio-Sánchez
Santiago Escobar
Catherine A. Meadows
José Meseguer
Julia Sapiña
Published in:
Protocols, Strands, and Logic (2021)
Keyphrases
</>
distributed systems
formal analysis
data analysis
statistical analysis
lightweight
space time
neural network
e learning
database systems
search space
mobile devices
low dimensional
electronic commerce
coloured petri nets