Skip to content

A Structural Approach to Prophecy Variables.

Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li

VenueCTAMC
Year2012
ProceedingsTAMC

Browse the full TAMC paper archive.