Login / Signup
Malti Verma
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Shortest Path
Formal Verification
Model Checker
Coloured Petri Nets
Top Venues
J. Supercomput.
</>
Publications
</>
Hemangee K. Kapoor
,
Praveen Kanakala
,
Malti Verma
,
Shirshendu Das
Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors.
J. Supercomput.
65 (2) (2013)