Blom, S., Kant, G. and Rensink, A. (2011) “Distributed Graph-Based State Space Generation”,
Electronic Communications of the EASST
, 32. doi: 10.14279/tuj.eceasst.32.521.