B. Meenakshi

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy
Tool for Translating Simulink Models into Input Language of a Model Checker. ICFEM (2006)
B. Meenakshi, Ramaswamy Ramanujam
Reasoning about layered message passing systems. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Layered Message Passing Systems. VMCAI (2003)
P. Madhusudan, B. Meenakshi
Beyond Message Sequence Graphs. FSTTCS (2001)
B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Message Passing in Finite State Environments. ICALP (2000)