Items where Author is "Westphal, Bernd"
Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemAndisha, Ahmad Siyar and Wehrle, Martin and Westphal, Bernd. (2015) Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. In: Model checking software : 22nd international symposium, SPIN 2015). Cham, pp. 153-159. |
