Login / Signup
Parameterized Verification of Systems with Global Synchronization and Guards.
Nouraldin Jaber
Swen Jacobs
Christopher Wagner
Milind Kulkarni
Roopsha Samanta
Published in:
CoRR (2020)
Keyphrases
</>
intelligent systems
expert systems
distributed systems
real time
information retrieval
artificial intelligence
website
web services
management system
knowledge based systems
complex systems
retrieval systems
embedded systems
formal methods