Scoot

A tool for the analysis of SystemC models
Thumbnail
Metadata only
Autor(in)
Blanc, Nicolas
Kroening, Daniel
Sharygina, Natasha
Datum
2008
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Herausgeber(in)
Ramakrishnan, C. R.
Rehof, J.
Buchtitel
Tools and algorithms for the construction and analysis of systems
Zeitschrift / Serie
Lecture Notes in Computer Science
Band
4963
Seiten / Artikelnummer
467 - 470
Verlag
Springer
Konferenz
14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Budapest, Hungary, March 29 - April 6, 2008
Organisationseinheit
03686 - Kröning, Daniel  
Mehr
Alle Metadaten anzeigen
Zitate
17 Zitate in Web of Science
ETH Bibliographie
yes
Altmetrics