Authors: KOL R GINOSAR R SAMUEL G

Citation: R. Kol et al., STATECHART METHODOLOGY FOR THE DESIGN, VALIDATION AND SYNTHESIS OF LARGE-SCALE ASYNCHRONOUS SYSTEMS, IEICE transactions on information and systems, E80D(3), 1997, pp. 308-314