{"created": {"type": "/type/datetime", "value": "2009-12-10T23:47:49.788645"}, "subjects": ["SPIN (Computer file)", "Congresses", "Verification", "Computer software"], "latest_revision": 3, "key": "/works/OL9075841W", "title": "Model Checking Software", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL3179845A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2014-07-29T13:19:47.489354"}, "covers": [2223174], "revision": 3}