![]() | ![]() |
1996 | ||
---|---|---|
1 | Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba: HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. FMCAD 1996: 450-467 |
1 | Dominique Borrione | [1] |
2 | H. Bouamama | [1] |
3 | David Déharbe | [1] |
4 | Ayman M. Wahba | [1] |