• Citer

Logic programming and reactive deduction for the verification of reactive systems: an experimental evaluation

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

• Détails

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