Publications by Xiang Gan

To appear

  • BOOKTITLE:
  • Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011)