Statistics
Publications
4
Citations
247
H-Index
4
Active since
1996
Affiliations
North Carolina State University(Current)
Girish Bhat is an author at North Carolina State University specializing in computer science, computing, and temporal logic.
Publications per year
1996–2002
4
4
Efficient on-the-fly model checking for CTL
Girish Bhat, Rance Cleaveland, Orna Grümberg · 2002 · 118 citations
Girish Bhat, Carla D. Savage · The Electronic Journal of Combinatorics · 1996 · 62 citations · Full text
Efficient model checking via the equational μ-calculus
Girish Bhat, Rance Cleaveland · 2002 · 55 citations
1–4 of 4