Return to Article Details Verificação da existência de um forçador de opacidade de estado atual de Sistemas a Eventos Discretos com múltiplos canais Download Download PDF