Rishath A. Rias

Publication Activity (10 Years)

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

Top Topics

Automated Verification

Top Venues

Int. J. Softw. Sci. Comput. Intell.

Publications

Shahram Rahimi, Rishath A. Rias, Elham Sahebkar Khorasani
An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi. Int. J. Softw. Sci. Comput. Intell. 4 (1) (2012)