Andrea Vandin, Alberto Lluch-Lafuente
Towards a Maude Tool for Model Checking Temporal Graph Properties
GT-VMT, 2011.
@article{GT-VMT-2011-VandinL,
author = "Andrea Vandin and Alberto Lluch-Lafuente",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/640",
journal = "{Electronic Communications of the EASST}",
title = "{Towards a Maude Tool for Model Checking Temporal Graph Properties}",
volume = 41,
year = 2011,
}