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: 2015
Number of items: 1.

2015

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 Nov 21 12:25:03 2024 CET.
edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.