• Citer

Efficient approximate verification of b and z models via symmetry markers

par Leuschel, Michaël ;Massart, Thierry
Référence International symmetry conference(14-17 January 2007: Edinburgh), Proceedings of the international symmetry conference, page (15)
Publication Publié, 2007

Publication dans des actes

• Détails

Titre:	Efficient approximate verification of b and z models via symmetry markers
Auteur:	Leuschel, Michaël; Massart, Thierry
Informations sur la publication:	International symmetry conference(14-17 January 2007: Edinburgh), Proceedings of the international symmetry conference, page (15)
Statut de publication:	Publié, 2007
Sujet CREF:	Informatique mathématique
Langue:	Anglais