The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems Capítulo de livro uri icon

autores

  • Alves-Serodio, Carlos M.J.
  • Jorge Santos
  • Vale, Zita
  • Serdio, Carlos
  • Carlos Ramos

data de publicação

  • 2008