Graph-transformation verification using monadic second-order logic.
https://doi.org/10.1145/2003476.2003482
@inproceedings{DBLP:conf/ppdp/InabaHHKN11,
author = {Kazuhiro Inaba and
Soichiro Hidaka and
Zhenjiang Hu and
Hiroyuki Kato and
Keisuke Nakano},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Graph-transformation verification using monadic second-order logic},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {17--28},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003482},
doi = {10.1145/2003476.2003482},
timestamp = {Tue, 06 Nov 2018 16:57:24 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/InabaHHKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签