Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi. Formal Proofs for Automata and Sticker Systems. In Juan E. Guerrero, editor, The First International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, Dogo SPA Resort, Matsuyama, Japan, December 4-6, 2013. pages 563-566, IEEE Computer Society, 2013. [doi]
Abstract is missing.