A Framework for the GAT Temporal Logic
Résumé
no abstract
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00457198
Soumis le : mardi 16 février 2010-17:17:45
Dernière modification le : vendredi 5 janvier 2024-03:23:56