Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.

Stuart Anderson Juliana Küster Filipe Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. 178- 2003 conf/icdcsw/2003 ICDCS Workshops http://csdl.computer.org/comp/proceedings/icdcsw/2003/1921/00/19210178abs.htm db/conf/icdcsw/icdcsw2003.html#AndersonF03