Papers: 10.1371/journal.pone.0145690

https://doi.org/10.1371/journal.pone.0145690

Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation

Cited by: 5
Author(s): Misbah Razzaq, Jamil Ahmad
Published: over 10 years ago

Software Mentions 1