Andrea Vandin, Alberto Lluch-Lafuente. Towards a Maude Tool for Model Checking Temporal Graph Properties. ECEASST, 41, 2011. [doi]
@article{VandinL11, title = {Towards a Maude Tool for Model Checking Temporal Graph Properties}, author = {Andrea Vandin and Alberto Lluch-Lafuente}, year = {2011}, url = {http://journal.ub.tu-berlin.de/eceasst/article/view/640}, researchr = {https://researchr.org/publication/VandinL11}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {41}, }