{"name": "International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)", "created": {"type": "/type/datetime", "value": "2012-07-04T09:46:28.765096"}, "last_modified": {"type": "/type/datetime", "value": "2012-07-04T09:46:28.765096"}, "latest_revision": 1, "key": "/authors/OL7147791A", "type": {"key": "/type/author"}, "revision": 1}