 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Brihaye-Michaux/05" |
|
On the expressiveness and decidability of o-minimal hybrid systems
Thomas Brihaye, Christian Michaux
Journal of Complexity 21 (4), 2005, pp. 447-478
| Editors | Joseph F. Traub | |
| Publisher: | Elsevier B.V. | |
| Address: | Orlando-Amsterdam-Tokyo-Singapore | |
| Keywords: | hybrid system, o-minimality, bss-model of computation, bisimulation, definability, decidability | |
| URL: |
http://www.sciencedirect.com/science/article/B6WHX-4F3FDWF-1/2/fd0c3b91e97f31ea75674ad7a8def488 | |
| Note: | see Erratum in J. Complexity, Vol. 22, No. 3, 2006, 431-434 | |
|
|
|
|