Artigo De: dblp

Verification of Data-Aware Processes via Array-Based Systems (Extended Version).

Diego Calvanese; Silvio Ghilardi; Andrey Rivkin — 2018 — CoRR

Informações chave

Autores:

Diego Calvanese; Silvio Ghilardi; Alessandro Gianola (Alessandro Gianola); Marco Montali; Andrey Rivkin

Publicado em

2018

Detalhes da publicação

Autores da comunidade :

  • Alessandro Gianola

    Alessandro Gianola

    ist429767

    De: dblp

    ID: journals/corr/abs-1806-11459

Editora

CoRR

Volume

abs/1806.11459

Domínio Científico (FOS)

computer-and-information-sciences - Ciências da Computação e da Informação

Idioma da publicação (código ISO)

eng - Inglês

Acesso à publicação:

Acesso apenas a metadados