Search
Now showing items 1-1 of 1
Analysis Software for Model Checking Edinburgh Buses
This software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures ...