Vol-1129⫷ Vol-1130 ⫸Vol-1131
urn:nbn:de:0074-1130-0


None⫷None

CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models