Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. Modeling Web Applications Design with Automata and Its Verification. In 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011. pages 103-112, IEEE, 2011. [doi]
Abstract is missing.