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

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
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

Creator
Contributor
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
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:59 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Other Objects (12)