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.
Full text not available from this repository.
Official URL: http://edoc.unibas.ch/dok/A6212196
Downloads: Statistics Overview
| Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert) |
|---|---|
| UniBasel Contributors: | Wehrle, Martin |
| Item Type: | Conference or Workshop Item, refereed |
| Conference or workshop item Subtype: | Conference Paper |
| Publisher: | Springer |
| Note: | Publication type according to Uni Basel Research Database: Conference paper |
| Related URLs: | |
| Identification Number: | |
| Last Modified: | 23 May 2014 08:34 |
| Deposited On: | 23 May 2014 08:34 |
Repository Staff Only: item control page