Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions (2007)

by Kazutaka Matsuda , Zhenjiang Hu , Keisuke Nakano , Makoto Hamana , Masato Takeichi
Citations:21 - 9 self