Modelagem de sistemas químicos como máquinas de estados finitos para fins de verificação formal - Coelho, Filipe Alves, 1989- (2018)
Orientador: Roger Josef Zemp