Vérification automatique de propriétés d'ordonnanceurs Bossa

Résumé : no abstract
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00457181
Contributor : Ls2n Hal <>
Submitted on : Tuesday, February 16, 2010 - 5:17:03 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM

Identifiers

  • HAL Id : hal-00457181, version 1

Citation

Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. AFADL'2006, 2006, France. pp.95-109. ⟨hal-00457181⟩

Share

Metrics

Record views

242