Vol-831⫷ Vol-832 ⫸Vol-833
urn:nbn:de:0074-832-0


None⫷None⫸None
Yan Zhang 0027Fabio SomenziZyad Hassan

A Study of Sweeping Algorithms in the Context of Model Checking