Cellular Structures for Creating Semantics of Temporal and Spatio-Temporal Logics

Type de document :
Communication dans un congrès
Denis Richard 60th Birthday Conference, Clermont-Ferrand, France, 8 p., 2002, 〈laic3.u-clermont1.fr/conference60/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00268668
Contributeur : Christine Carvalho de Matos <>
Soumis le : mardi 1 avril 2008 - 09:28:48
Dernière modification le : jeudi 24 mai 2018 - 15:59:20

Identifiants

  • HAL Id : lirmm-00268668, version 1

Collections

Citation

Jean-Pierre Aubert. Cellular Structures for Creating Semantics of Temporal and Spatio-Temporal Logics. Denis Richard 60th Birthday Conference, Clermont-Ferrand, France, 8 p., 2002, 〈laic3.u-clermont1.fr/conference60/〉. 〈lirmm-00268668〉

Partager

Métriques

Consultations de la notice

21