TY - DATA T1 - Modelling Uncertainty in State Based Systems PY - -0001/11/30 AU - Walkinshaw N AU - Hierons R ED - DO - DOI: 10.15131/shef.data.14287040 Y2 - 2026/06/12 ER -