SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems

  1. Lookup NU author(s)
  2. Dr Paolo Zuliani
Author(s)Wang Q, Zuliani P, Kong S, Gao S, Clarke EM
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name13th International Conference on Computational Methods in Systems Biology (CMSB)
Conference LocationNantes, France
Year of Conference2015
Source Publication Date
Volume
Pages15-27
Series TitleLecture Notes in Computer Science
ISBN9783319234007
Full text is available for this publication:
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-319-23401-4_3
DOI10.1007/978-3-319-23401-4_3
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item
Share