SMT-based verification of data-aware processes: a model-theoretic approach

From MaRDI portal
Publication:5139282

DOI10.1017/S0960129520000067zbMath1495.68129OpenAlexW3014139035MaRDI QIDQ5139282

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Andrey Rivkin, Marco Montali

Publication date: 8 December 2020

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129520000067




Related Items


Uses Software


Cites Work