Statistics
Publications
1
Citations
19
H-Index
1
Active since
1995
Affiliations
Eindhoven University of Technology(Current)
RT Rob Gerth is an author at Eindhoven University of Technology specializing in symbolic model checking, deductive verification, and theory of computation.
Publications per year
1995–1995
1
1