Edinburgh Research Explorer

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. / Vandin, Andrea; Tribastone, Mirco; Gilmore, Stephen.

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer International Publishing, 2014. p. 71-86.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Vandin, A, Tribastone, M & Gilmore, S 2014, An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. in Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer International Publishing, pp. 71-86. https://doi.org/10.1007/978-3-319-10181-1_5

APA

Vandin, A., Tribastone, M., & Gilmore, S. (2014). An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. In Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 71-86). Springer International Publishing. https://doi.org/10.1007/978-3-319-10181-1_5

Vancouver

Vandin A, Tribastone M, Gilmore S. An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. In Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer International Publishing. 2014. p. 71-86 https://doi.org/10.1007/978-3-319-10181-1_5

Author

Vandin, Andrea ; Tribastone, Mirco ; Gilmore, Stephen. / An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer International Publishing, 2014. pp. 71-86