- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Shield synthesis ; volume:51 ; number:2 ; day:25 ; month:9 ; year:2017 ; pages:332-361 ; date:11.2017
Formal methods in system design ; 51, Heft 2 (25.9.2017), 332-361, 11.2017
- Klassifikation
-
Elektrotechnik, Elektronik
- Urheber
-
Könighofer, Bettina
- Beteiligte Personen und Organisationen
-
Alshiekh, Mohammed
Bloem, Roderick
Humphrey, Laura
Könighofer, Robert
Topcu, Ufuk
Wang, Chao
SpringerLink (Online service)
- DOI
-
10.1007/s10703-017-0276-9
- URN
-
urn:nbn:de:1111-201801174689
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:45 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Könighofer, Bettina
- Alshiekh, Mohammed
- Bloem, Roderick
- Humphrey, Laura
- Könighofer, Robert
- Topcu, Ufuk
- Wang, Chao
- SpringerLink (Online service)
Ähnliche Objekte (12)
Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
A Continuation Approach to the Periodic Boundary Value Problem for a Class of Nonlinear Coupled Oscillators with Potential Depending on Time
Normalized solutions for the p -Laplacian equation with a trapping potential
Telmisartan induces osteosarcoma cells growth inhibition and apoptosis via suppressing mTOR pathway
An LCA study of an electricity coal supply chain
Information disclosure in China's rising securitization market
Convergence theorems for a generalized Φ-pseudo-contractive type mapping in real normal linear spaces
The metabolic adaptation mechanism of metastatic organotropism
Reducing turnover intention: perceived organizational support for frontline employees
Lipid metabolism and Drosophila sperm development
Feature-based RGB-D camera pose optimization for real-time 3D reconstruction
Prediction of protein solubility based on sequence physicochemical patterns and distributed representation information with DeepSoluE
Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
A Continuation Approach to the Periodic Boundary Value Problem for a Class of Nonlinear Coupled Oscillators with Potential Depending on Time
Normalized solutions for the p -Laplacian equation with a trapping potential
Telmisartan induces osteosarcoma cells growth inhibition and apoptosis via suppressing mTOR pathway
An LCA study of an electricity coal supply chain
Information disclosure in China's rising securitization market
Convergence theorems for a generalized Φ-pseudo-contractive type mapping in real normal linear spaces
The metabolic adaptation mechanism of metastatic organotropism
Reducing turnover intention: perceived organizational support for frontline employees
Lipid metabolism and Drosophila sperm development
Feature-based RGB-D camera pose optimization for real-time 3D reconstruction
Prediction of protein solubility based on sequence physicochemical patterns and distributed representation information with DeepSoluE
Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
A Continuation Approach to the Periodic Boundary Value Problem for a Class of Nonlinear Coupled Oscillators with Potential Depending on Time
Normalized solutions for the p -Laplacian equation with a trapping potential
Telmisartan induces osteosarcoma cells growth inhibition and apoptosis via suppressing mTOR pathway
An LCA study of an electricity coal supply chain
Information disclosure in China's rising securitization market
Convergence theorems for a generalized Φ-pseudo-contractive type mapping in real normal linear spaces
The metabolic adaptation mechanism of metastatic organotropism
Reducing turnover intention: perceived organizational support for frontline employees
Lipid metabolism and Drosophila sperm development
Feature-based RGB-D camera pose optimization for real-time 3D reconstruction