par Leuschel, Michaël ;Massart, Thierry
Référence (15-16 April 2002: Birmingham, UK), Proceedings of AVoCS'02, Second Workshop on Automated Verification of Critical Systems, page (7)
Publication Publié, 2002
Référence (15-16 April 2002: Birmingham, UK), Proceedings of AVoCS'02, Second Workshop on Automated Verification of Critical Systems, page (7)
Publication Publié, 2002
Publication dans des actes
Titre: |
|
Auteur: | Leuschel, Michaël; Massart, Thierry |
Informations sur la publication: | (15-16 April 2002: Birmingham, UK), Proceedings of AVoCS'02, Second Workshop on Automated Verification of Critical Systems, page (7) |
Statut de publication: | Publié, 2002 |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |