Items where Author is "Metzler, Patrick"

Journal Article

Metzler, Patrick and Suri, Neeraj and Weissenbacher, Georg (2020) Extracting Safe Thread Schedules from Incomplete Model Checking Results. International Journal on Software Tools for Technology Transfer, 22. pp. 565-581. ISSN 1433-2779

Contribution in Book/Report/Proceedings

Metzler, Patrick and Suri, Neeraj and Weissenbacher, Georg (2019) Extracting Safe Thread Schedules from Incomplete Model Checking Results. In: Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Springer, pp. 153-171. ISBN 9783030309220