- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Guided search for hybrid systems based on coarse-grained space abstractions ; volume:18 ; number:4 ; day:7 ; month:8 ; year:2015 ; pages:449-467 ; date:8.2016
International journal on software tools for technology transfer ; 18, Heft 4 (7.8.2015), 449-467, 8.2016
- Urheber
- Beteiligte Personen und Organisationen
-
Donzé, Alexandre
Frehse, Goran
Grosu, Radu
Johnson, Taylor T.
Ladan, Hamed
Podelski, Andreas
Wehrle, Martin
SpringerLink (Online service)
- DOI
-
10.1007/s10009-015-0393-y
- URN
-
urn:nbn:de:1111-2016071111306
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bogomolov, Sergiy
- Donzé, Alexandre
- Frehse, Goran
- Grosu, Radu
- Johnson, Taylor T.
- Ladan, Hamed
- Podelski, Andreas
- Wehrle, Martin
- SpringerLink (Online service)