Login / Signup
Compact and efficiently verifiable models for concurrent systems.
Hernán Ponce de León
Andrey Mokhov
Published in:
Formal Methods Syst. Des. (2018)
Keyphrases
</>
concurrent systems
probabilistic model
data sets
case study
relational databases
complex systems
autoregressive
transition systems