AAAAAA
Results:
1-7
|
Results: 7
Authors:
LIEBERUM B
DIETRICH U
CLEAVELAND R
JAHNKE K
Citation: B. Lieberum et al., CHOLESTEATOMA WITH DESTRUCTION OF THE SIN US SIGMOIDEUS FOLLOWING THROMBOSIS WITH EPIDURAL AND BEZOLD ABSCESSES, Laryngo-, Rhino-, Otologie, 77(3), 1998, pp. 175-176
Authors:
CLEAVELAND R
LUTTGEN G
NATARAJAN V
Citation: R. Cleaveland et al., A PROCESS ALGEBRA WITH DISTRIBUTED PRIORITIES, Theoretical computer science, 195(2), 1998, pp. 227-258
Authors:
ELSEAIDY WM
CLEAVELAND R
BAUGH JW
Citation: Wm. Elseaidy et al., MODELING AND VERIFYING ACTIVE STRUCTURAL CONTROL-SYSTEMS, Science of computer programming, 29(1-2), 1997, pp. 99-122
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:
ELSEAIDY WM
BAUGH JW
CLEAVELAND R
Citation: Wm. Elseaidy et al., VERIFICATION OF AN ACTIVE CONTROL-SYSTEM USING TEMPORAL PROCESS ALGEBRA, Engineering with computers, 12(1), 1996, pp. 46-61
Authors:
CELIKKAN U
CLEAVELAND R
Citation: U. Celikkan et R. Cleaveland, GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS, Distributed computing, 9(2), 1995, pp. 61-75
Authors:
CLEAVELAND R
PARROW J
STEFFEN B
Citation: R. Cleaveland et al., THE CONCURRENCY WORKBENCH - A SEMANTICS-BASED TOOL FOR THE VERIFICATION OF CONCURRENT SYSTEMS, ACM transactions on programming languages and systems, 15(1), 1993, pp. 36-72
Risultati:
1-7
|