|
 
|
[HMBa13] Verifying SystemC with Predicate Abstraction: a Component Based Approach
Conférence Internationale avec comité de lecture : On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,
motcle:
Equipe:
sys
BibTeX
| @inproceedings { | |||
| HMBa13, | |||
| title | = | "{ Verifying SystemC with Predicate Abstraction: a Component Based Approach}", | |
| author | = | " N. Harrath and B. Monsuez and K. Barkaoui ", | |
| booktitle | = | "{On the 14th International Conference on Information Reuse and Integration (IEEE IRI)}", | |
| year | = | 2013, | |
| month | = | "August", | |
| address | = | "San Francisco, USA", | |
| } | |||
