par Leuschel, Michaël ;Wolton, I.;Massart, Thierry ;Adhianto, L.
Référence (April 2001: Oxford, UK), Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, page (3)
Publication Publié, 2001
Référence (April 2001: Oxford, UK), Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, page (3)
Publication Publié, 2001
Publication dans des actes
Titre: |
|
Auteur: | Leuschel, Michaël; Wolton, I.; Massart, Thierry; Adhianto, L. |
Informations sur la publication: | (April 2001: Oxford, UK), Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, page (3) |
Statut de publication: | Publié, 2001 |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |