edoc

Items where Author is "Andisha, Ahmad Siyar"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Number of items: 1.

Conference or Workshop Item

Andisha, 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.

This list was generated on Fri Mar 29 15:22:06 2024 CET.