No abstract

This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License Newcastle University ePrints -eprint.ncl.ac.uk

No abstract

This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License Newcastle University ePrints-eprint.ncl.ac.uk Martin L, Romanovsky A. Stochastic activity networks for the verification of knowledge bases. In: International Workshop on Software Engineering for Resilient Systems (SERENE 2017).