Temporal Logic and Concurrent Logic Programming in Protocol Specification, Verification and Prototyping Artigo de Conferência uri icon

autores

  • Alexandre J. T. Santos
  • Freitas, V
  • JOSE NEVES

data de publicação

  • janeiro 1, 1988