TY  - RPRT
TI  - Symbolic Reachability Analysis of B through ProB and LTSmin
AU  - Jens Bendisposto
AU  - Philipp Koerner
AU  - Michael Leuschel
AU  - Jeroen Meijer
AU  - Jaco van de Pol
AU  - Helen Treharne
AU  - Jorden Whitefield
PY  - 2016
UR  - https://arxiv.org/abs/1603.04401
ID  - 1603.04401
ER  -