Stuart Anderson, Juliana Küster Filipe. Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. In 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA. pages 178, IEEE Computer Society, 2003. [doi]
Abstract is missing.