AAAAAA

   
Results: 1-10 |
Results: 10
WHATS DECIDABLE ABOUT HYBRID AUTOMATA
Authors: HENZINGER TA KOPKE PW PURI A VARAIYA P
Citation: Ta. Henzinger et al., WHATS DECIDABLE ABOUT HYBRID AUTOMATA, Journal of computer and system sciences (Print), 57(1), 1998, pp. 94-124
ALGORITHMIC ANALYSIS OF NONLINEAR HYBRID SYSTEMS
Authors: HENZINGER TA HO PH WONGTOI H
Citation: Ta. Henzinger et al., ALGORITHMIC ANALYSIS OF NONLINEAR HYBRID SYSTEMS, IEEE transactions on automatic control, 43(4), 1998, pp. 540-554
THE BENEFITS OF RELAXING PUNCTUALITY
Authors: ALUR R FEDER T HENZINGER TA
Citation: R. Alur et al., THE BENEFITS OF RELAXING PUNCTUALITY, Journal of the ACM, 43(1), 1996, pp. 116-146
STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH
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
AUTOMATIC SYMBOLIC VERIFICATION OF EMBEDDED SYSTEMS
Authors: ALUR R HENZINGER TA HO PH
Citation: R. Alur et al., AUTOMATIC SYMBOLIC VERIFICATION OF EMBEDDED SYSTEMS, IEEE transactions on software engineering, 22(3), 1996, pp. 181-201
THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
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
TEMPORAL PROOF METHODOLOGIES FOR TIMED TRANSITION-SYSTEMS
Authors: HENZINGER TA MANNA Z PNUELI A
Citation: Ta. Henzinger et al., TEMPORAL PROOF METHODOLOGIES FOR TIMED TRANSITION-SYSTEMS, Information and computation, 112(2), 1994, pp. 273-337
SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
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
A REALLY TEMPORAL LOGIC
Authors: ALUR R HENZINGER TA
Citation: R. Alur et Ta. Henzinger, A REALLY TEMPORAL LOGIC, Journal of the Association for Computing Machinery, 41(1), 1994, pp. 181-204
REAL-TIME LOGICS - COMPLEXITY AND EXPRESSIVENESS
Authors: ALUR R HENZINGER TA
Citation: R. Alur et Ta. Henzinger, REAL-TIME LOGICS - COMPLEXITY AND EXPRESSIVENESS, Information and computation, 104(1), 1993, pp. 35-77
Risultati: 1-10 |