Consistency Checking between Data and Process Diagrams Based on Formal Methods.

Syouri Kouno, Han-Myung Chang, Keijiro Araki

Browse the full COMPSAC paper archive.