Login / Signup
An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi.
Shahram Rahimi
Rishath A. Rias
Elham Sahebkar Khorasani
Published in:
Int. J. Softw. Sci. Comput. Intell. (2012)
Keyphrases
</>
automated verification
software tools
social networks
query language