{"class":"Bitstream","uri":"https://www.ideals.illinois.edu/items/11205/bitstreams/41127.json","object_uri":"https://www.ideals.illinois.edu/items/11205/bitstreams/41127/object","id":41127,"length":470315,"media_type":"application/pdf","filename":"Probabilistic Modeling and Verification of Large Scale Systems.pdf","original_filename":"Probabilistic Modeling and Verification of Large Scale Systems.pdf","bundle_position":0,"primary":false,"description":null,"created_at":"2022-06-06T21:51:52.725Z","updated_at":"2022-09-21T04:33:23.132Z","bundle":"Content","item":{"id":11205,"uri":"https://www.ideals.illinois.edu/items/11205"}}