{"headerData":{"lastRefreshDate":"06 Jul 2026"},"publicationOverview":{"publication":{"id":"AC0EB98D-5DED-4CEC-B038-9D23AE931567","resourceUrl":"http://gtr.ukri.org/api/publication/overview?outcomeid=546c1fb7dd0372.28309997&projectref=#grantRef#","outcomeId":"546c1fb7dd0372.28309997","title":"Specifying Railway Interlocking Systems","parentPublicationTitle":"AVoCS'09 -- PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems. Swansea University, Wales, UK, Technical Report of Computer Science CSR-2-2009","authors":[{"id":"9d134683e4dc1c24df129d12706a4a7a","resourceUrl":"http://gtr.ukri.org/api/person/9d134683e4dc1c24df129d12706a4a7a","firstName":null,"otherNames":"Kanso K","surname":null,"email":null,"orcidId":null,"displayName":"Kanso K","fullName":"Kanso K"}],"date":1230768000000,"digitalPublicationUrl":null,"pubMedId":null,"pubMedUrl":null,"isbn":null,"issn":null,"publicationUrl":"http://www.cs.swan.ac.uk/avocs09/PreProceedings.pdf","abstractText":null,"volume":null,"issue":null,"totalPages":null,"edition":null,"chapterNumber":null,"chapterTitle":null,"pageRef":null,"series":null,"type":"Conference/Paper/Proceeding/Abstract","firstAuthorName":"Kanso K","grantRef":null},"projects":[{"id":"1ED0B700-7DAB-4CA6-95DC-D9810AF41690","resourceUrl":"http://gtr.ukri.org/projects?ref=EP/G033374/1","title":"Theory And Applications of Induction Recursion","status":null,"grantReference":"EP/G033374/1","grantCategory":"Research Grant","abstractText":null,"potentialImpactText":null,"fund":{"valuePounds":104924,"start":null,"end":null,"funder":{"id":"798CB33D-C79E-4578-83F2-72606407192C","resourceUrl":"http://gtr.ukri.org/api/organisation/798CB33D-C79E-4578-83F2-72606407192C","name":"EPSRC"},"type":"INCOME_ACTUAL"},"output":null,"publications":null,"identifiers":null,"technicalSummary":null,"projectHierarchy":null,"studentshipHierarchy":null,"healthCategories":[],"researchActivities":[],"researchSubjects":[],"researchTopics":[],"rcukProgrammes":[],"hasClassifications":false}],"abstractSnippet":null}}