Article In: dblp

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

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

Key information

Authors:

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

Published in

2018

Publication details

Authors in the community:

  • Alessandro Gianola

    Alessandro Gianola

    ist429767

    In: dblp

    ID: journals/corr/abs-1806-11459

Publisher

CoRR

Volume

abs/1806.11459

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available