UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS.

T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang

Browse the full FORTE paper archive.