Export 1 results:
Author Title Type [ Year
] Filters: Author is T. M. Gawlitza and First Letter Of Title is J [Clear All Filters]
, “Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation”, in Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011), 2011.