Ver registro no DEDALUS
Exportar registro bibliográfico

Formal parameters synthesis for track segments of a subway mesh (2000)