Sign in

From Model Completeness to Verification of Data Aware Processes.

Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey Rivkin
Published in: Description Logic, Theory Combination, and All That (2019)
Keyphrases