- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-113X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A spatio-temporal specification language and its completeness & decidability ; volume:9 ; number:1 ; day:25 ; month:11 ; year:2020 ; pages:1-22 ; date:12.2020
Journal of Cloud Computing ; 9, Heft 1 (25.11.2020), 1-22, 12.2020
- Creator
-
Li, Tengfei
Liu, Jing
Sun, Haiying
Chen, Xiang
Zhang, Lipeng
Sun, Junfeng
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1186/s13677-020-00209-3
- URN
-
urn:nbn:de:101:1-2021010519040690447028
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 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
- Li, Tengfei
- Liu, Jing
- Sun, Haiying
- Chen, Xiang
- Zhang, Lipeng
- Sun, Junfeng
- SpringerLink (Online service)
Other Objects (12)
A systematic evaluation of accessibility measures by the two-step floating catchment area (2SFCA) method
EXISTENCE AND GLOBAL EXPONENTIAL STABILITY OF PERIODIC SOLUTION OF HIGH-ORDER COHEN-GROSSBERG NEURAL NETWORK WITH IMPULSES
Systematic studies of protein immobilization by surface plasmon field-enhanced fluorescence spectroscopy
A low-to-high friction transition in gradient nano-grained Cu and Cu-Ag alloys
Research on teaching quality evaluation of higher vocational architecture majors based on enterprise platform with spherical fuzzy MAGDM
Highlights of the 2018 Chinese hypertension guidelines
Algeria’s Strategic Position and Its Implications for the Development of China- Algeria Relations
Genomics‐Guided Efficient Identification of 2,5‐Diketopiperazine Derivatives from Actinobacteria
MPS-FEM Coupled Method for Study of Wave-Structure Interaction
A case report of streptococcal toxic shock syndrome caused by Streptococcus mitis in a healthy adult
The anti-ferroptotic role of FSP1: current molecular mechanism and therapeutic approach
The effect of T cell aging on the change of human tissue structure
A systematic evaluation of accessibility measures by the two-step floating catchment area (2SFCA) method
EXISTENCE AND GLOBAL EXPONENTIAL STABILITY OF PERIODIC SOLUTION OF HIGH-ORDER COHEN-GROSSBERG NEURAL NETWORK WITH IMPULSES
Systematic studies of protein immobilization by surface plasmon field-enhanced fluorescence spectroscopy
A low-to-high friction transition in gradient nano-grained Cu and Cu-Ag alloys
Research on teaching quality evaluation of higher vocational architecture majors based on enterprise platform with spherical fuzzy MAGDM
Highlights of the 2018 Chinese hypertension guidelines
Algeria’s Strategic Position and Its Implications for the Development of China- Algeria Relations
Genomics‐Guided Efficient Identification of 2,5‐Diketopiperazine Derivatives from Actinobacteria
MPS-FEM Coupled Method for Study of Wave-Structure Interaction
A case report of streptococcal toxic shock syndrome caused by Streptococcus mitis in a healthy adult
The anti-ferroptotic role of FSP1: current molecular mechanism and therapeutic approach
The effect of T cell aging on the change of human tissue structure
A systematic evaluation of accessibility measures by the two-step floating catchment area (2SFCA) method
EXISTENCE AND GLOBAL EXPONENTIAL STABILITY OF PERIODIC SOLUTION OF HIGH-ORDER COHEN-GROSSBERG NEURAL NETWORK WITH IMPULSES
Systematic studies of protein immobilization by surface plasmon field-enhanced fluorescence spectroscopy
A low-to-high friction transition in gradient nano-grained Cu and Cu-Ag alloys
Research on teaching quality evaluation of higher vocational architecture majors based on enterprise platform with spherical fuzzy MAGDM
Highlights of the 2018 Chinese hypertension guidelines
Algeria’s Strategic Position and Its Implications for the Development of China- Algeria Relations
Genomics‐Guided Efficient Identification of 2,5‐Diketopiperazine Derivatives from Actinobacteria
MPS-FEM Coupled Method for Study of Wave-Structure Interaction
A case report of streptococcal toxic shock syndrome caused by Streptococcus mitis in a healthy adult
The anti-ferroptotic role of FSP1: current molecular mechanism and therapeutic approach