Swaraj Bhat

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Coloured Petri Nets

Top Venues

Publications

Swaraj Bhat, Pradeep B. H., Keerthi S. Shetty, Sanjay Singh
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol CoRR (2012)