Concepedia

Author

Robert van Glabbeek

Shanghai Jiao Tong University

Also Known As

Rob van Glabbeek, Robert van Glabbeek, van Glabbeek, Rob

7

Publications

123

Citations

4

H-Index

18

Concepts

All Affiliations

Shanghai Jiao Tong University
RV

About

Robert van Glabbeek is an author at Shanghai Jiao Tong University specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

106

2

Computer Science

3

3

106

3

Systems Engineering

2

2

32

4

Computer Engineering

1

1

17

5

Probability Theory

1

1

74

Robert van Glabbeek

×

4

Publications

120

Citations

4

H-Index

YearCitations

Page 1