Property patterns for the formal verification of automated production systems Artigo de Conferência uri icon

data de publicação

  • janeiro 1, 2008