PP-2005-25: Ulle Endriss Temporal Logics for Representing Agent Communication Protocols 1.Full Text, 2.Abstract. < Back
