Validating assertion language rewrite rules and semantics with automated theorem provers

Morin-Allory, Katell, Boulé, Marc, Borrione, Dominique et Zilic, Zeljko. 2010. « Validating assertion language rewrite rules and semantics with automated theorem provers ». IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 29, nº 9. pp. 1436-1448.
Compte des citations dans Scopus : 6.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: https://doi.org/10.1109/TCAD.2010.2049150

Type de document:	Article publié dans une revue, révisé par les pairs
Professeur:	Professeur Boulé, Marc
Affiliation:	Service des enseignements généraux
Date de dépôt:	14 oct. 2022 20:36
Dernière modification:	14 oct. 2022 20:36
URI:	https://espace2.etsmtl.ca/id/eprint/25629

Actions (Authentification requise)

Dernière vérification avant le dépôt