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
Statut de publication : Publié, 2002
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • , Proceedings of AVoCS'02: Second Workshop on Automated Verification of Critical Systems, (15-16 April 2002: Birmingham, UK), page 7
Langue :
  • Anglais