Hybrid specification of reactive systems: An institutional approach Artigo de Conferência uri icon

autores

  • Barbosa, L.S.
  • Madeira, A.
  • Faria, J.M.
  • Manuel A. Martins
  • Barbosa, L.S.

data de publicação

  • janeiro 1, 2011