×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [based protocol verificationfsm]
Formal Modeling and Analysis of BitTorrent using Coloured Petri Nets Jing LIU, Xinming YE, Tao SUN ICT-CAS & IMU, China 2009-10-20
217 views