{"name": "International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)", "created": {"type": "/type/datetime", "value": "2008-10-07T13:14:09.867153"}, "last_modified": {"type": "/type/datetime", "value": "2008-10-07T13:14:09.867153"}, "key": "/authors/OL5367348A", "type": {"key": "/type/author"}, "id": 27343414, "revision": 1}