edoc-vmtest

Items where Author is "Andreas: Wehrle, Martin"

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

2013

Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T. and Ladan, Hamed: Podelski and Andreas: Wehrle, Martin. (2013) Abstraction-based guided search for hybrid systems. In: Model checking software : proceedings of the 20th international SPIN symposium on model checking of software (SPIN 2013). Heidelberg, pp. 117-134.

This list was generated on Thu Nov 21 05:14:17 2024 CET.
edoc-vmtest is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.