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.


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 Mon Jul 22 00:58:52 2024 CEST.