Daniël Reijsbergen, Stephen Gilmore. Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. In András Horváth, Katinka Wolter, editors, Computer Performance Engineering - 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings. Volume 8721 of Lecture Notes in Computer Science, pages 164-178, Springer, 2014. [doi]
Abstract is missing.