A Framework for the GAT Temporal Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

A Framework for the GAT Temporal Logic

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00457198 , version 1 (16-02-2010)

Identifiants

  • HAL Id : hal-00457198 , version 1

Citer

Jean-Claude Royer. A Framework for the GAT Temporal Logic. The 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), 2004, Nice, France, France. pp.275-280. ⟨hal-00457198⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More