Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
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
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
Risultati:
1-2
|