Vol-1249⫷ Vol-1250 ⫸Vol-1251
urn:nbn:de:0074-1250-0


Vol-1250/paper5⫷Vol-1250/paper6
Paula HerberBettina Hünnemeyer

Formal Verification of SystemC Designs using the BLAST Software Model Checker