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]
Abstract is missing.