Edinburgh Research Explorer

Laboratory for Foundations of Computer Science

Organisational unit: Research Institute

  1. Analysis software for model checking Edinburgh buses

    Reijsbergen, D. (Creator), Gao, W. (Creator), Edinburgh DataShare, 1 Sep 2016, 10.7488/ds/1472

    Dataset

  2. Lothian Buses Full Fleet GPS Traces, 2014 to 2015

    , Edinburgh DataShare, 29 Aug 2016, 10.7488/ds/1470

    Dataset

  3. Opinions on Weblinks

    Albakry, S. (Creator), Vaniea, K. (Creator), Wolters, M. (Creator), Edinburgh DataShare, 25 Apr 2020, 10.7488/ds/2749

    Dataset

  4. Triangulating Context Lemmas

    McLaughlin, C. (Creator), Mckinna, J. (Creator), Stark, I. (Creator), Edinburgh DataShare, 6 Dec 2017, 10.7488/ds/2264

    Dataset