%0 Conference Paper %1 conf/ppdp/InabaHHKN11 %A Inaba, Kazuhiro %A Hidaka, Soichiro %A Hu, Zhenjiang %A Kato, Hiroyuki %A Nakano, Keisuke %B PPDP %D 2011 %E Schneider-Kamp, Peter %E Hanus, Michael %I ACM %K dblp %P 17-28 %T Graph-transformation verification using monadic second-order logic. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#InabaHHKN11 %@ 978-1-4503-0776-5

@inproceedings{conf/ppdp/InabaHHKN11, added-at = {2020-12-29T00:00:00.000+0100}, author = {Inaba, Kazuhiro and Hidaka, Soichiro and Hu, Zhenjiang and Kato, Hiroyuki and Nakano, Keisuke}, biburl = {https://www.bibsonomy.org/bibtex/2e3b8e83d94a5f6491e5b56f1b04cf6b8/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2011}, editor = {Schneider-Kamp, Peter and Hanus, Michael}, ee = {https://doi.org/10.1145/2003476.2003482}, interhash = {28f51364f0b84c61851563676b930dc5}, intrahash = {e3b8e83d94a5f6491e5b56f1b04cf6b8}, isbn = {978-1-4503-0776-5}, keywords = {dblp}, pages = {17-28}, publisher = {ACM}, timestamp = {2024-04-10T05:43:11.000+0200}, title = {Graph-transformation verification using monadic second-order logic.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#InabaHHKN11}, year = 2011 }