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
Publication dans des actes
Titre:
  • Logic programming and reactive deduction for the verification of reactive systems: an experimental evaluation
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