Component-Based Construction of Deadlock-Free Systems (Extended Abstract)

Type de document :
Communication dans un congrès
FSTTCS'03, Dec 2003, Mumbai, India. Springer-Verlag, 2914, 2003
Liste complète des métadonnées

https://hal.inria.fr/hal-00665173
Contributeur : Gregor Gössler <>
Soumis le : mercredi 1 février 2012 - 12:34:00
Dernière modification le : jeudi 11 janvier 2018 - 06:21:05

Identifiants

  • HAL Id : hal-00665173, version 1

Collections

Citation

Gregor Gössler, Joseph Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). FSTTCS'03, Dec 2003, Mumbai, India. Springer-Verlag, 2914, 2003. 〈hal-00665173〉

Partager

Métriques

Consultations de la notice

128