Towards a Stochastic Event-B

  1. Lookup NU author(s)
  2. Dr Zoe Andrews
Author(s)Andrews ZH
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference NameSupplementary Volume of 2009 Workshop on Quantitative Formal Methods: Theory and Applications
Conference LocationEindhoven, Netherlands
Year of Conference2009
Date3 November 2009
Volume
Pages
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.