Checking Asynchronously Communicating Components Using Symbolic Transition Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Checking Asynchronously Communicating Components Using Symbolic Transition Systems

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00457192 , version 1 (16-02-2010)

Identifiants

  • HAL Id : hal-00457192 , version 1

Citer

Olivier Maréchal, Pascal Poizat, Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519. ⟨hal-00457192⟩
148 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More