Uncover: Using Coverability Analysis for Verifying Graph ...
Reference
Jan Stückrath. Uncover: Using coverability analysis for verifying graph transformation systems. In Francesco Parisi-Presicce and Bernhard Westfechtel, editors, Proceedings of ICGT 2015, volume 9151 of LNCS, pages 266–274. Springer, 2015.
Suggested BibTeX entry:
@inproceedings{Stueckrath2015,
author = {Jan St{\"u}ckrath},
booktitle = {Proceedings of ICGT 2015},
editor = {Parisi-Presicce, Francesco and Westfechtel, Bernhard},
pages = {266--274},
publisher = {Springer},
series = {LNCS},
title = {Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems},
volume = {9151},
year = {2015}
}
