Using interval logics for temporal analysis of security protocols
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
A theory of duration calculus with application
Domain modeling and the duration calculus
Specifying various time models with temporal propositional variables in duration calculus
Formal methods and hybrid real-time systems
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |