Browse by Author
 | Up a level |
Group by: Date | No Grouping
Number of items: 2.
2017
Feeney, Kevin Chekov, Brennan, Rob 
ORCID: 0000-0001-8236-362X and Mendel-Gleason, Gavin ORCID: 0000-0002-1572-9756
(2017)
Linked data schemata: fixing unsound foundations.
Semantic Web, 9
(1).
pp. 53-75.
ISSN 1570-0844
2012
Mendel-Gleason, Gavin (2012) Types and verification for infinite state systems. PhD thesis, Dublin City University.