Login / Signup
Rajesh Bhatia
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 7
Top Topics
Coloured Petri Nets
Black Hole Attack
Object Oriented Systems
Formal Specification
Top Venues
IET Softw.
Multim. Tools Appl.
Clust. Comput.
IC3
</>
Publications
</>