Formal and operational validation of a bus stop public transport network micro simulation

Pau Fonseca i Casas, Esteve Codina Sancho, Lídia Montero Mercadé, M. Paz Linares, Cristina Montañola-Sales. Formal and operational validation of a bus stop public transport network micro simulation. In Stephen J. Buckley, John A. Miller, editors, Proceedings of the 2014 Winter Simulation Conference, Savannah, GA, USA, December 7-10, 2014. pages 604-615, IEEE/ACM, 2014. [doi]

@inproceedings{CasasSMLM14,
  title = {Formal and operational validation of a bus stop public transport network micro simulation},
  author = {Pau Fonseca i Casas and Esteve Codina Sancho and Lídia Montero Mercadé and M. Paz Linares and Cristina Montañola-Sales},
  year = {2014},
  url = {http://dl.acm.org/citation.cfm?id=2693934},
  researchr = {https://researchr.org/publication/CasasSMLM14},
  cites = {0},
  citedby = {0},
  pages = {604-615},
  booktitle = {Proceedings of the 2014 Winter Simulation Conference, Savannah, GA, USA, December 7-10, 2014},
  editor = {Stephen J. Buckley and John A. Miller},
  publisher = {IEEE/ACM},
}