You are about to access our book library "Identificação de erros em programas de controle escritos em Ladder: Uma abordagem baseada em Model Checking (e com a aplicação da ferramenta UPPAAL) (Portuguese Edition) full version" .