Shakya, Deepti (2018) Modeling and Validation of Routing Protocol using Timed Colored Petrinet. MTech thesis.
