Toggle Main Menu Toggle Search

Open Access padlockePrints

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems

Lookup NU author(s): Dr Sadegh Soudjani

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer International Publishing, 2019.

For re-use rights please refer to the publisher's terms and conditions.


Publication metadata

Author(s): Lavaei A, Soudjani S, Zamani M

Editor(s): Majid Zamani and Damien Zufferey

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 12th International Workshop on Numerical Software Verification (NSV 2019)

Year of Conference: 2019

Pages: 101-109

Online publication date: 03/08/2019

Acceptance date: 23/05/2019

Date deposited: 04/11/2019

ISSN: 0302-9743

Publisher: Springer International Publishing

URL: https://doi.org/10.1007/978-3-030-28423-7_7

DOI: 10.1007/978-3-030-28423-7_7

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783030284237


Actions

Link to this publication


Share