AAAAAA

   
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 |