1
Assuntos:
“...Sistemas a eventos discretos...”
Síntese de supervisores através de verificação de modelo.
Dissertação