Divyanshu Bagga

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Logical Reasoning

Management System

Top Venues

Publications

Divyanshu Bagga, S. Arun-Kumar
Logical Characterisation of Parameterised Bisimulations. ICTAC (2017)
S. Arun-Kumar, Divyanshu Bagga
Parameterised Bisimulations: Some Applications. RAMiCS (2014)