Sciweavers

CAV
2009
Springer

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

14 years 6 months ago
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where CAV
Authors Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Comments (0)