ARTICLE
|
doi:10.20944/preprints202409.0148.v1
Subject:
Security Systems,
Computer Science And Mathematics
Keywords:
Timed security protocols; Multi-agent systems; Timed Interpreted Systems; Bounded Model Checking; Satisfiability modulo theories
Online: 3 September 2024 (10:56:53 CEST)