Parallel verification of dynamic systems with rich configurations - Pessoa, Eduardo José Dias (2016)
Dissertação de mestrado em Engenharia Informática (área de especialização em Informática)