Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

to related objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

Extent: 1 Online-Ressource.

Language: Englisch

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

Creator: Liu, Yang
Li, Rui

Contributor: SpringerLink (Online service)

DOI: 10.2991/ijndc.k.190918.001

URN: urn:nbn:de:101:1-2024040912054145066784

Rights: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 14.08.2025, 10:57 AM CEST

Data provider

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

Show original at data provider

Associated

Liu, Yang
Li, Rui
SpringerLink (Online service)

Other Objects (12)

Approaches in the treatment of perianal fistula in Crohn disease

Hochschulschrift

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}$$

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

Hochschulschrift

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}$$

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

Hochschulschrift

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}$$

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

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

Object Details

References and Relationships

Contributors, Places and Time

Further information

Data provider

Associated

Other Objects (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

Effects, methods and limits of the cryopreservation on mesenchymal stem cells

Related objects

Reset password