AAAAAA

   
Results: 1-2 |
Results: 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: 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
Risultati: 1-2 |