Vandin, A., & Lafuente, A. L. (2011). Towards a Maude Tool for Model Checking Temporal Graph Properties.
Electronic Communications of the EASST
,
41
. https://doi.org/10.14279/tuj.eceasst.41.640