{"class":"Bitstream","uri":"https://www.ideals.illinois.edu/items/10910/bitstreams/40352.json","object_uri":"https://www.ideals.illinois.edu/items/10910/bitstreams/40352/object","id":40352,"length":274407,"media_type":"application/pdf","filename":"Incorporating Bounded Model Checking in Network Simulation Theory, Implementation and Evaluation.pdf","original_filename":"Incorporating Bounded Model Checking in Network Simulation Theory, Implementation and Evaluation.pdf","bundle_position":0,"primary":false,"description":null,"created_at":"2022-06-06T21:51:47.833Z","updated_at":"2022-09-21T04:31:06.225Z","bundle":"Content","item":{"id":10910,"uri":"https://www.ideals.illinois.edu/items/10910"}}