Towards a Stochastic Event-B

  1. Lookup NU author(s)
  2. Dr Zoe Andrews
Author(s)Andrews ZH
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
Legacy Date3 November 2009
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.