Verification of Hierarchical Artifact Systems

Alin Deutsch, Yuliang Li, Victor Vianu. Verification of Hierarchical Artifact Systems. ACM Trans. Database Syst., 44(3), 2019. [doi]

Authors

Alin Deutsch

This author has not been identified. Look up 'Alin Deutsch' in Google

Yuliang Li

This author has not been identified. Look up 'Yuliang Li' in Google

Victor Vianu

This author has not been identified. Look up 'Victor Vianu' in Google