Automatic Verification for Node-Based Visual Script Notation Using Model Checking.

Isamu Hasegawa, Tomoyuki Yokogawa

Browse the full ICFEM paper archive.