Component-Based Construction of Deadlock-Free Systems (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2003

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

Gregor Gössler
Laboratoire d'Informatique de Grenoble
Joseph Sifakis
  • Fonction : Auteur
VERIMAG

Gregor Gössler  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00665173

Soumis le : mercredi 1 février 2012-12:34:00

Dernière modification le : jeudi 4 avril 2024-20:50:44

Fichier non déposé

Dates et versions

hal-00665173 , version 1 (01-02-2012)

Identifiants

  • HAL Id : hal-00665173 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 UGA IMAG CNRS IRISA LIG VERIMAG UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM LIG_SIDCH
85 Consultations
0 Téléchargements

Partager

More