@inproceedings{inproceedingse0d5a562,
title   = {Formal parameters synthesis for track segments of a subway mesh},
author = {Bonifacio, Adilson L and Moura, Arnaldo Vieira and Camargo Júnior, João Batista and Almeida Junior, Jorge Rady de},
year = {2000},
publisher = {IEEE},
booktitle   = {IEEE International Conference and Workshop on the Engineering of Computer-Based Systems}
}