GRACE TECHNICAL REPORTS Sound and Complete Validation of Graph Transformations

Kazuhiro Inaba,Soichiro Hidaka,Zhenjiang Hu,Hiroyuki Kato,Keisuke Nakano
2010-01-01
Abstract:Documents; Authors; Tables. Log in; Sign up; MetaCart; DMCA; Donate. CiteSeerX logo. Documents: Advanced Search Include Citations. Authors: Advanced Search Include Citations | Disambiguate. Tables: DMCA. Sound and complete validation of graph transformations (2010). Cached. Download as a PDF. Download Links. [www.kmonos.net]; [www.biglab.org]. Save to List; Add to Collection; Correct Errors; Monitor Changes. by Kazuhiro Inaba , Soichiro Hidaka , Zhenjiang Hu , Hiroyuki Kato , Keisuke Nakano. Citations: 2 - 2 self. Summary; Citations; Active Bibliography; Co-citation; Clustered Documents; Version History. BibTeX. @TECHREPORT{ Inaba10soundand, author = {Kazuhiro Inaba and Soichiro Hidaka and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano}, title = {Sound and complete validation of graph transformations}, institution = {}, year = {2010} }. Share. Facebook, Twitter, Reddit, Bibsonomy. OpenURL …
What problem does this paper attempt to address?