Modeling Time

Béatrice Bérard 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Type de document :
Chapitre d'ouvrage
Models and Analysis in Distributed Systems, Wiley, pp.63-96, 2011, 9781848213142
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01288076
Contributeur : Lip6 Publications <>
Soumis le : lundi 14 mars 2016 - 15:39:10
Dernière modification le : jeudi 22 novembre 2018 - 14:11:12

Identifiants

  • HAL Id : hal-01288076, version 1

Collections

Citation

Béatrice Bérard. Modeling Time. Models and Analysis in Distributed Systems, Wiley, pp.63-96, 2011, 9781848213142. 〈hal-01288076〉

Partager

Métriques

Consultations de la notice

175