Skip to content

Practical Verification of Hierarchical Artifact Systems.

Yuliang Li

VenueA*VLDB
Year2017
ProceedingsPhD@VLDB

Browse the full VLDB paper archive.