Boulé, Marc and Zilic, Zeljko.
2008.
« Automata-based assertion-checker synthesis of PSL properties ».
ACM Transactions on Design Automation of Electronic Systems, vol. 13, nº 1.
Compte des citations dans Scopus : 76.
Rechercher dans Google Scholar
Official URL: https://doi.org/10.1145/1297666.1297670
| Item Type: | Peer reviewed article published in a journal |
|---|---|
| Professor: | Professor Boulé, Marc |
| Affiliation: | Autres |
| Date Deposited: | 14 Oct 2022 20:36 |
| Last Modified: | 14 Oct 2022 20:36 |
| URI: | https://espace2.etsmtl.ca/id/eprint/25628 |
Actions (login required)
 |
View Item |