Supriya D'Souza

Publication Activity (10 Years)

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

Top Topics

Orders Of Magnitude

Formal Specification

Top Venues

Publications

Supriya D'Souza, Abhishek Rao, Amit Sharma, Sanjay Singh
Modeling and Verification of a Multi-Agent Argumentation System using NuSMV CoRR (2012)