Full Text Available
Access Full Text at Repository
Search Results
-
-
Using test data to evaluate rankings of entities in large scholarly citation networks
Published 2019Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A model checker for the LF system
Published 2012Get full text
ThesisFull Text AvailableAccess Full Text at Repository