A logic for the stepwise development of reactive systems Artigo Académico uri icon

autores

  • Madeira, A
  • Barbosa, L. S.
  • Hennicker, R
  • Manuel A. Martins

data de publicação

  • outubro 2018