Vol-1430⫷ Vol-1431 ⫸Vol-1432
urn:nbn:de:0074-1431-0


Vol-1431/paper6⫷Vol-1431/paper7⫸Vol-1431/paper8
Belgacem Ben HediaAmira MethniKamel BarkaouiMatthieu LemerreSerge Haddad

State Space Reduction Strategie for Model Checking Concurrent C Programs