scientific article
From MaRDI portal
Publication:2712587
zbMath0970.68034MaRDI QIDQ2712587
Helmut Seidl, Bernhard Steffen
Publication date: 21 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Precise interprocedural dependence analysis of parallel programs ⋮ Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation