Scaling BDD-based Timed Verification with Simulation Reduction. Conferences uri icon

  •  
  • Overview
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Lawford, Mark
  • Nguyen, Truong Khanh
  • Tan, Tian Huat
  • Sun, Jun
  • Li, Jiaying
  • Liu, Yang
  • Chen, Manman
  • Dong, Jin Song

publication date

  • 2016

published in