Concepedia

Author

C. Courcoubetis

Nokia (United States)

Also Known As

C. Courcoubetis

2

Publications

519

Citations

2

H-Index

7

Concepts

All Affiliations

Nokia (United States)
CC

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

497

2

Computer Science

1

1

497

3

Automated Reasoning

1

1

497

4

Formal Methods

1

1

497

5

Formal Verification

1

1

497

C. Courcoubetis

×

1

Publications

497

Citations

1

H-Index

YearCitations

Memory-efficient algorithms for the verification of temporal properties

C. Courcoubetis, M. Vardi, Pierre Wolper,

Formal Methods in System Design

1992

497

Page 1