11 citations · 11 across the 1 of their papers we have counts for
1 paper
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads exe…