Concepedia

C. Courcoubetis

CC

Statistics

Publications

1

Citations

497

H-Index

1

Active since

1992

Affiliations

Nokia (United States)(Current)

C. Courcoubetis is an author at Nokia (United States) specializing in verification, automated reasoning, and formal methods.

Top concepts

Publications per year

1992–1992

1

Publications

1

Memory-efficient algorithms for the verification of temporal properties

C. Courcoubetis, M. Vardi, Pierre Wolper et al. · Formal Methods in System Design · 1992 · 497 citations · Full text

, , +8

1–1 of 1