Authors: FLORAHOLMQUIST AR MORTON E OGRADY JD STASKAUSKAS MG

Citation: Ar. Floraholmquist et al., THE VIRTUAL FINITE-STATE MACHINE-DESIGN AND IMPLEMENTATION PARADIGM, Bell Labs technical journal, 2(1), 1997, pp. 96-113

Authors: ARDIS MA CHAVES JA JAGADEESAN LJ MATAGA P PUCHOL C STASKAUSKAS MG VONOLNHAUSEN J

Citation: Ma. Ardis et al., A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT, IEEE transactions on software engineering, 22(6), 1996, pp. 378-389

Authors: STASKAUSKAS MG

Citation: Mg. Staskauskas, FORMAL DERIVATION OF CONCURRENT PROGRAMS - AN EXAMPLE FROM INDUSTRY, IEEE transactions on software engineering, 19(5), 1993, pp. 503-528