@inproceedings{inproceedings1b7a5fe9,
title   = {Análise e verificação de segmentos de via de uma malha metroviária},
author = {Bonifácio, A. L. and Moura, A. V. and Camargo Júnior, João Batista and Almeida Junior, Jorge Rady de},
year = {1999},
publisher = {Sociedade Brasileira de Computação},
booktitle   = {Workshop on Formal Methods}
}