Análise e Verificação de Segmentos de Via de uma Malha Metroviária

TitleAnálise e Verificação de Segmentos de Via de uma Malha Metroviária
Publication TypeConference Paper
Year of Publication1999
AuthorsBonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R
Conference NameProceedings of the II Workshop on Formal Methods
Conference LocationFlorianópolis