Formal Parameters Synthesis for Track Segments of a Subway Mesh

TitleFormal Parameters Synthesis for Track Segments of a Subway Mesh
Publication TypeConference Paper
Year of Publication2000
AuthorsBonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R
Conference Name7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Date Published{3-7, } # apr
PublisherIEEE Computer Society Press
Conference LocationEdinburgh, Escócia