An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. Gilmore, S., Tribastone, M., & Vandin, A. In Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pages 71--86, 2014.
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/ifm/GilmoreTV14,
  author    = {Stephen Gilmore and
               Mirco Tribastone and
               Andrea Vandin},
  title     = {An Analysis Pathway for the Quantitative Evaluation of Public Transport
               Systems},
  booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
               Bertinoro, Italy, September 9-11, 2014, Proceedings},
  pages     = {71--86},
  year      = {2014},
  crossref  = {DBLP:conf/ifm/2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-10181-1_5},
  doi       = {10.1007/978-3-319-10181-1_5},
  timestamp = {Mon, 15 Sep 2014 10:58:48 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ifm/GilmoreTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0