Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-7
|
Results: 7
VERIFYING PARAMETERIZED NETWORKS
Authors:
CLARKE EM GRUMBERG O JHA S
Citation:
Em. Clarke et al., VERIFYING PARAMETERIZED NETWORKS, ACM transactions on programming languages and systems, 19(5), 1997, pp. 726-750
ABSTRACT INTERPRETATION OF REACTIVE SYSTEMS
Authors:
DAMS D GERTH R GRUMBERG O
Citation:
D. Dams et al., ABSTRACT INTERPRETATION OF REACTIVE SYSTEMS, ACM transactions on programming languages and systems, 19(2), 1997, pp. 253-291
BRANCHING-TIME TEMPORAL LOGIC AND TREE AUTOMATA
Authors:
KUPFERMAN O GRUMBERG O
Citation:
O. Kupferman et O. Grumberg, BRANCHING-TIME TEMPORAL LOGIC AND TREE AUTOMATA, Information and computation, 125(1), 1996, pp. 62-69
PROGRAM COMPOSITION VIA UNIFICATION
Authors:
FIX L FRANCEZ N GRUMBERG O
Citation:
L. Fix et al., PROGRAM COMPOSITION VIA UNIFICATION, Theoretical computer science, 131(1), 1994, pp. 139-179
MODEL CHECKING AND ABSTRACTION
Authors:
CLARKE EM GRUMBERG O LONG DE
Citation:
Em. Clarke et al., MODEL CHECKING AND ABSTRACTION, ACM transactions on programming languages and systems, 16(5), 1994, pp. 1512-1542
MODEL CHECKING AND MODULAR VERIFICATION
Authors:
GRUMBERG O LONG DE
Citation:
O. Grumberg et De. Long, MODEL CHECKING AND MODULAR VERIFICATION, ACM transactions on programming languages and systems, 16(3), 1994, pp. 843-871
FAIRNESS AND HYPERFAIRNESS IN MULTIPARTY INTERACTIONS
Authors:
ATTIE PC FRANCEZ N GRUMBERG O
Citation:
Pc. Attie et al., FAIRNESS AND HYPERFAIRNESS IN MULTIPARTY INTERACTIONS, Distributed computing, 6(4), 1993, pp. 245-254
Risultati:
1-7
|