A propositional modal logic of time intervals
Journal of the ACM (JACM)
A Model for Secure Protocols and Their Compositions
IEEE Transactions on Software Engineering
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Hi-index | 0.00 |