Syouri Kouno, Han-Myung Chang, Keijiro Araki. Consistency Checking between Data and Process Diagrams Based on Formal Methods. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 261-269, IEEE Computer Society, 1996. [doi]
Abstract is missing.