- 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.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bogomolov, Sergiy
- Donzé, Alexandre
- Frehse, Goran
- Grosu, Radu
- Johnson, Taylor T.
- Ladan, Hamed
- Podelski, Andreas
- Wehrle, Martin
- SpringerLink (Online service)
Other Objects (12)
Coarse-grained distinguishability of field interactions
Fault-Tolerant Coarse-Grained Data-Flow Execution
Coarse-grained simulations of membranes under tension
A novel supra coarse-grained model for cellulose
Applications of coarse-grained models in metabolic engineering
Excess Entropy and Dynamics in Coarse-Grained Models
Coarse-Grained Clustering Dynamics of Heterogeneously Coupled Neurons
Description and Specialization of Coarse-grained Reconfigurable Architectures
Martini 3 Coarse‐Grained Force Field: Small Molecules
Optimistic Coarse-Grained Cache Semantics for Data Marts
Machine learning coarse-grained potentials of protein thermodynamics
Biomembranes : from quantum chemistry to coarse-grained simulations=Biomembranen
Coarse-grained distinguishability of field interactions
Fault-Tolerant Coarse-Grained Data-Flow Execution
Coarse-grained simulations of membranes under tension
A novel supra coarse-grained model for cellulose
Applications of coarse-grained models in metabolic engineering
Excess Entropy and Dynamics in Coarse-Grained Models
Coarse-Grained Clustering Dynamics of Heterogeneously Coupled Neurons
Description and Specialization of Coarse-grained Reconfigurable Architectures
Martini 3 Coarse‐Grained Force Field: Small Molecules
Optimistic Coarse-Grained Cache Semantics for Data Marts
Machine learning coarse-grained potentials of protein thermodynamics
Biomembranes : from quantum chemistry to coarse-grained simulations=Biomembranen
Coarse-grained distinguishability of field interactions
Fault-Tolerant Coarse-Grained Data-Flow Execution
Coarse-grained simulations of membranes under tension
A novel supra coarse-grained model for cellulose
Applications of coarse-grained models in metabolic engineering
Excess Entropy and Dynamics in Coarse-Grained Models
Coarse-Grained Clustering Dynamics of Heterogeneously Coupled Neurons
Description and Specialization of Coarse-grained Reconfigurable Architectures
Martini 3 Coarse‐Grained Force Field: Small Molecules
Optimistic Coarse-Grained Cache Semantics for Data Marts
Machine learning coarse-grained potentials of protein thermodynamics