Checking Partial-Order Properties of Vector Addition Systems with States | IEEE Conference Publication | IEEE Xplore