DMCA

Dynamic cutoff detection in parameterized concurrent programs (2010)

by Er Kaiser , Daniel Kroening , Thomas Wahl
Venue:In CAV
Citations:20 - 5 self