DMCA

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

by Thomas Martin Gawlitza , Peter Lammich , Markus Müller-Olm , Helmut Seidl , Alexander Wenner
Citations:3 - 1 self