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
Jump to: Yes
Number of items: 1.

Yes

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 Thu Mar 28 14:41:33 2024 CET.