Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning ; volume:8 ; number:2 ; day:9 ; month:4 ; year:2020 ; pages:94-107 ; date:3.2020
International journal of networked and distributed computing ; 8, Heft 2 (9.4.2020), 94-107, 3.2020
- Urheber
-
Liu, Yang
Li, Rui
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.2991/ijndc.k.190918.001
- URN
-
urn:nbn:de:101:1-2024040912054145066784
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 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
- Liu, Yang
- Li, Rui
- SpringerLink (Online service)
Ähnliche Objekte (12)
Approaches in the treatment of perianal fistula in Crohn disease
Untersuchungen über Flotationsgrundlagen unter besonderer Berücksichtigung der Korngrösse
Krise oder Chance? Die Entwicklung und gegenwärtige Situation der privaten Publikationsunternehmen in der Volksrepublik China
EMD Method Applied to Identification of Logging Sequence Strata
Study of Nanoscale Friction Behaviors of Graphene on Gold Substrates Using Molecular Dynamics
Deep learning technology of Internet of Things Blockchain in distribution network faults
Global impact of the COVID-19 lockdown on surface concentration and health risk of atmospheric benzene
Global impact of COVID-19 lockdown on surface concentration and health risk of atmospheric benzene
Review of computational neuroaesthetics: bridging the gap between neuroaesthetics and computer science
Sign-changing solution and ground state solution for a class of ( p , q ) $(p,q)$ -Laplacian equations with nonlocal terms on R N $\mathbbR}^{N}$
Substantial changes of gaseous pollutants and chemical compositions in fine particles in North China Plain during COVID-19 lockdown period: anthropogenic vs meteorological influences
Effects, methods and limits of the cryopreservation on mesenchymal stem cells
Approaches in the treatment of perianal fistula in Crohn disease
Untersuchungen über Flotationsgrundlagen unter besonderer Berücksichtigung der Korngrösse
Krise oder Chance? Die Entwicklung und gegenwärtige Situation der privaten Publikationsunternehmen in der Volksrepublik China
EMD Method Applied to Identification of Logging Sequence Strata
Study of Nanoscale Friction Behaviors of Graphene on Gold Substrates Using Molecular Dynamics
Deep learning technology of Internet of Things Blockchain in distribution network faults
Global impact of the COVID-19 lockdown on surface concentration and health risk of atmospheric benzene
Global impact of COVID-19 lockdown on surface concentration and health risk of atmospheric benzene
Review of computational neuroaesthetics: bridging the gap between neuroaesthetics and computer science
Sign-changing solution and ground state solution for a class of ( p , q ) $(p,q)$ -Laplacian equations with nonlocal terms on R N $\mathbbR}^{N}$
Substantial changes of gaseous pollutants and chemical compositions in fine particles in North China Plain during COVID-19 lockdown period: anthropogenic vs meteorological influences
Effects, methods and limits of the cryopreservation on mesenchymal stem cells
Approaches in the treatment of perianal fistula in Crohn disease
Untersuchungen über Flotationsgrundlagen unter besonderer Berücksichtigung der Korngrösse
Krise oder Chance? Die Entwicklung und gegenwärtige Situation der privaten Publikationsunternehmen in der Volksrepublik China
EMD Method Applied to Identification of Logging Sequence Strata
Study of Nanoscale Friction Behaviors of Graphene on Gold Substrates Using Molecular Dynamics
Deep learning technology of Internet of Things Blockchain in distribution network faults
Global impact of the COVID-19 lockdown on surface concentration and health risk of atmospheric benzene
Global impact of COVID-19 lockdown on surface concentration and health risk of atmospheric benzene
Review of computational neuroaesthetics: bridging the gap between neuroaesthetics and computer science
Sign-changing solution and ground state solution for a class of ( p , q ) $(p,q)$ -Laplacian equations with nonlocal terms on R N $\mathbbR}^{N}$
Substantial changes of gaseous pollutants and chemical compositions in fine particles in North China Plain during COVID-19 lockdown period: anthropogenic vs meteorological influences