Scoot: A Tool for the Analysis of SystemC Models
Nicolas Blanc‚ Daniel Kroening and Natasha Sharygina
Details
| Book Title |
Proceedings of TACAS 2008 |
| Note |
To appear. |
| Publisher |
Springer |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |