Tetsuo Hasegawa, Yoshiaki Fukazawa. Model Checking by Generating Observers from an Interface Specification Between Components. In Jianhua Yang, Athula Ginige, Heinrich C. Mayr, Ralf-Detlef Kutsche, editors, Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings. Volume 20 of Lecture Notes in Business Information Processing, pages 526-538, Springer, 2009. [doi]
Abstract is missing.