NDLTD Global ETD Search
New Search
Return to search
Agda as a platform for the development of verified railway interlocking systems
No description available.
Links & Downloads
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678306
Tags
004
Additional Fields
Identifer
oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:678306
Date
January 2012
Creators
Kanso, Karim
Publisher
Swansea University
Source Sets
Ethos UK
Detected Language
English
Type
Electronic Thesis or Dissertation
Page generated in 0.0017 seconds