@mastersthesis{mastersthesis9ea8c6bc,
title   = {Miriã: uma ferramenta para a síntese de controladores assíncronos multi-rajada},
author = {Oliveira, Duarte Lopes de and Strum, Marius},
year = {2004},
school = {Universidade de São Paulo}
}