Guided search for hybrid systems based on coarse-grained space abstractions

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

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Ähnliche Objekte (12)