A Framework for the GAT Temporal Logic

Jean-Claude Royer. A Framework for the GAT Temporal Logic. In Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Nice, France, July 1-3, 2004. pages 275-280, ISCA, 2004.

Abstract

Abstract is missing.