A new plant modelling approach for formal verification purposes Artigo de Conferência uri icon

autores

  • FILOMENA MARIA DA ROCHA MENEZES DE OLIVEIRA SOARES
  • Machado, J.
  • Seabra, E.
  • Soares, F.
  • Campos, J.

data de publicação

  • janeiro 1, 2007