Authors: HALBWACHS N

Citation: N. Halbwachs, ABOUT SYNCHRONOUS PROGRAMMING AND ABSTRACT INTERPRETATION, Science of computer programming, 31(1), 1998, pp. 75-89

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