Login / Signup

Compact and efficiently verifiable models for concurrent systems.

Hernán Ponce de LeónAndrey Mokhov
Published in: Formal Methods Syst. Des. (2018)
Keyphrases
  • concurrent systems
  • probabilistic model
  • data sets
  • case study
  • relational databases
  • complex systems
  • autoregressive
  • transition systems