Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P

Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625

Authors: ABRAMSON S ASHKENAZI E GOLDBERG I GREENWALD M JATZKE H VARDI M WEINMAN S FUCHS B

Citation: S. Abramson et al., NEW MACROMOLECULAR HOST SYSTEMS - PREPARATION AND STRUCTURE OF CERTAIN FUNCTIONALIZED 2,6-DIARYL-CIS-1,3,5,7-TETRAOXADECALIN PODAND COMPOUNDS AND MACRO-M-CYCLOPHANES, Journal of the Chemical Society, Chemical Communications, (13), 1994, pp. 1611-1612

Authors: OREN J VARDI M VISKIN R ABRAMSON S FUCHS B

Citation: J. Oren et al., HOMOCONJUGATED KETONES WITH EXTENDED UNSATURATION - WAVELENGTH-SELECTIVE, REGIOSELECTIVE, DIASTEREOSELECTIVE, AND ENANTIOSPECIFIC PHOTOCHEMICAL-TRANSFORMATIONS OF METHYL 7-OXOSPIRO[5.5]UNDECA-1,3 AND 2,4-DIENE-2-CARBOXYLATE, Helvetica Chimica Acta, 76(3), 1993, pp. 1182-1193