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: PNUELI A SIFAKIS J

Citation: A. Pnueli et J. Sifakis, SPECIAL ISSUE ON HYBRID SYSTEMS - PREFACE, Theoretical computer science, 138(1), 1995, pp. 1-2

Authors: ALUR R COURCOUBETIS C HALBWACHS N HENZINGER TA HO PH NICOLLIN X OLIVERO A SIFAKIS J YOVINE S

Citation: R. Alur et al., THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS, Theoretical computer science, 138(1), 1995, pp. 3-34

Authors: NICOLLIN X SIFAKIS J

Citation: X. Nicollin et J. Sifakis, THE ALGEBRA OF TIMED PROCESSES, ATP - THEORY AND APPLICATION, Information and computation, 114(1), 1994, pp. 131-178

Authors: HENZINGER TA NICOLLIN X SIFAKIS J YOVINE S

Citation: Ta. Henzinger et al., SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS, Information and computation, 111(2), 1994, pp. 193-244