Viet Anh Nguyen, Wendelin Serwe, Radu Mateescu 0001, Eric Jenn. Hunting Superfluous Locks with Model Checking. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 416-432, Springer, 2019. [doi]
Abstract is missing.