Dynamic cutoff detection in parameterized concurrent programs. (2010)

by Alexander Kaiser, Daniel Kroening, Thomas Wahl
Venue:In CAV,